^^PAGEHEADLINE ^^
-
Formal Methods for Industrial Critical Systems
Springer Verlag GmbH 20.07.2009 - 2009Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe aim of the FMICS workshop series is to provide a forum for researchers who are interested in ...
-
-0 %
Formal Methods for Open Object-Based Distributed Systems
Springer Verlag GmbH 31.12.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenFormal Methods for Open Object-Based Distributed Systems presents the leading edge in several rel...
Unser bisheriger Preis:ORGPRICE: 209,99 €
Jetzt 160,49 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
Software Engineering for Resilient Systems
Springer Verlag GmbH 19.08.2015 - 2015Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
-0 %
Formal Methods for Open Object-Based Distributed Systems
Springer Verlag GmbH 28.02.1999 - 1999Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabePreface. Part 1: Languages. Piccola - A Small Compositional Language; O. Nierstrasz....
Unser bisheriger Preis:ORGPRICE: 209,99 €
Jetzt 160,49 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Springer Verlag GmbH 20.10.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis volume constitutes the proceedings of the Second International Conference on Reliability, Sa...
-
From Software Engineering to Formal Methods and Tools, and Back
Springer Verlag GmbH 14.09.2019 - 2019Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis volume was published in honor of Stefania Gnesis 65th birthday. The Festschrift volume conta...
- 1