-
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Automated Technology for Verification and Analysis
EbookSofort lieferbarThis book constitutes the proceedings of the 12...
-
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarThis bookconstitutes the proceedings of the 22n...
-
Principles of Systems Design
EbookSofort lieferbarThis Festschrift is dedicated to Thomas A. Henz...
-
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandThis bookconstitutes the proceedings of the 22n...
-
Automated Technology for Verification and Analysis
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 12...
-
Formal Modeling and Analysis of Timed Systems
TaschenbuchPrint on DemandThis volume consists of the proceedings of the ...
-
Principles of Systems Design
TaschenbuchPrint on DemandThis Festschrift is dedicated to Thomas A. Henz...
- 1
Folgen Sie uns auf:
