Formal Techniques for Distributed Objects, Components, and Systems Catuscia Pala
Titel: Formal Techniques for Distributed Objects, Components, and Systems, Untertitel: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings, Einband: Taschenbuch, Autor: Catuscia Palamidessi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 316, Maße: 235x155x18 mm, Gewicht: 482 g, Verkäufer: buch-mimpf, Schlagworte: Information Theory Quality Assurance Software and application security concurrency distributed systems formal languages and automata theory formal methods model checking online test and diagnostics software verification.
Jetzt bei Ebay:
