Formal Techniques for Distributed Systems
Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
John Hatcliff
Themen in »Formal Techniques for Distributed Systems«
Unified Modeling Language (UML) automata distributed systems formal method formal methods logic model checking modeling object oriented design process algebra real-time semantics simulation software verification
Stimmen zu »Formal Techniques for Distributed Systems«
Details
ISBN: 9783642134630
Verlag: Springer Berlin
Erscheinung: 01.06.2010