Formal Techniques for Distributed Systems David Lee
Titel: Formal Techniques for Distributed Systems, Untertitel: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings, Einband: Taschenbuch, Autor: David Lee, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 264, Maße: 235x155x15 mm, Gewicht: 406 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Netzwerk (elektronisch) Programmiersprachen Epistemic logic MOD algorithms automata theory finite state machines first-order logic model checking modeling network simulator object oriented design orc pi calculus testing validation verification.
Jetzt bei Ebay:
