-
From Software Engineering to Formal Methods and Tools, and Back
EbookSofort lieferbarThe Festschrift consists of eight sections, sev...
-
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThis book constitutes the thoroughly refereed p...
-
Software Engineering for Resilient Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
EbookSofort lieferbarThis volume constitutes the proceedings of the ...
-
Formal Methods for Open Object-Based Distributed Systems
EbookSofort lieferbarFormal Methods for Open Object-Based Distribute...
-
Software Engineering for Resilient Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
Formal Methods for Industrial Critical Systems
TaschenbuchPrint on DemandThe aim of the FMICS workshop series is to prov...
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
TaschenbuchPrint on DemandThis volume constitutes the proceedings of the ...
-
Formal Methods for Open Object-Based Distributed Systems
TaschenbuchPrint on DemandFormal Methods for Open Object-Based Distribute...
-
From Software Engineering to Formal Methods and Tools, and Back
TaschenbuchPrint on DemandThis volume was published in honor of Stefania ...
-
Formal Methods for Open Object-Based Distributed Systems
BuchPrint on DemandFormal Methods for Open Object-Based Distribute...
- 1
Folgen Sie uns auf:
