-
From Software Engineering to Formal Methods and Tools, and Back
EbookSofort lieferbarThe Festschrift consists of eight sections, sev...
-
Critical Systems: Formal Methods and Automated Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Architecting Dependable Systems VI
EbookSofort lieferbarAs software systems become increasingly ubiquit...
-
Web Services and Formal Methods
EbookSofort lieferbarThis book constitutes the thoroughly refereed p...
-
Formal Methods - The Next 30 Years
EbookSofort lieferbarThe 44 full papers presented together with 3 in...
-
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 25...
-
-
Coordination Models and Languages
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Architecting Dependable Systems VI
TaschenbuchPrint on DemandAs software systems become increasingly ubiquit...
-
Formal Methods ¿ The Next 30 Years
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
Web Services and Formal Methods
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed p...
-
From Software Engineering to Formal Methods and Tools, and Back
TaschenbuchPrint on DemandThis volume was published in honor of Stefania ...
- 1
- 2
Folgen Sie uns auf:
