Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Marcello M. Bonsangue
Themen in »Formal Methods for Open Object-Based Distributed Systems«
Ada Java Unified Modeling Language (UML) Variable algorithm algorithmic skeleton algorithms component-based systems constraint automata formal language model checking model-based design modeling object-oriented programming serv
Stimmen zu »Formal Methods for Open Object-Based Distributed Systems«
Details
ISBN: 9783540729525
Verlag: Springer Berlin
Erscheinung: 27.06.2007