Formal Methods for Open Object-Based Distributed Systems Einar Broch Johnsen
53,49 €
Titel: Formal Methods for Open Object-Based Distributed Systems, Untertitel: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, Einband: Taschenbuch, Autor: Einar Broch Johnsen, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 332, Maße: 235x155x19 mm, Gewicht: 505 g, Verkäufer: buch-mimpf, Schlagworte: UML (EDV) Distributed Data Processing Informationssystem / Verteiltes System Verteiltes System (EDV) Ada Component-Based Systems Java Object-oriented programming Unified Modeling Language (UML) Variable algorithm algorithmic skeleton algorithms constraint automata formal language model checking model-based design modeling serv.
Jetzt bei Ebay:
