doron a peled
Automated Technology for Verification and Analysis
TaschenbuchPrint on DemandThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was i...
Model Checking and Artificial Intelligence
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Mo...
Automated Technology for Verification and Analysis
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 14th International Symposium on Automated Technology...
Software Reliability Methods
TaschenbuchPrint on DemandA new text reference on formal method and techniques and tools for software development project d...
Verification, Model Checking, and Abstract Interpretation
TaschenbuchPrint on Demandth This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Check...
Computer Aided Verification
TaschenbuchPrint on DemandThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...
Software Reliability Methods
BuchBesorgungstitel - wird vorgemerktA new text reference on formal method and techniques and tools for software development project d...
- 1