-
-
Validation of Evolving Software
EbookSofort lieferbarThis book describes the methodology and accompa...
-
-
Verified Software: Theories, Tools and Experiments
EbookSofort lieferbarThis volume constitutes the thoroughly refereed...
-
Computer Aided Verification
EbookSofort lieferbarThe two-volume set LNCS 9206 and LNCS 9207 cons...
-
Hardware and Software: Verification and Testing
EbookSofort lieferbarThis book constitutes the thoroughly refereed p...
-
Computer Aided Verification
EbookSofort lieferbarThe two-volume set LNCS 9206 and LNCS 9207 cons...
-
Model Checking, second edition
EbookSofort lieferbarAn expanded and updated edition of a comprehens...
-
-
Validation of Evolving Software
BuchPrint on DemandThis book describes the methodology and accompa...
-
Validation of Evolving Software
TaschenbuchPrint on DemandThis book describes the methodology and accompa...
-
Computer Aided Verification
TaschenbuchPrint on DemandThe two-volume set LNCS 9206 and LNCS 9207 cons...
- 1
- 2
Folgen Sie uns auf:
