Formal Techniques for Networked and Distributed Systems - FORTE 2002 Moshe Y. Va
Titel: Formal Techniques for Networked and Distributed Systems - FORTE 2002, Untertitel: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, Einband: Taschenbuch, Autor: Moshe Y. Vardi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 388, Maße: 235x155x21 mm, Gewicht: 587 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Allgemeines Networking (EDV) Netz (EDV) Distributed Data Processing Informationssystem / Verteiltes System Verteiltes System (EDV) Communication Services Communication protocols Computer Communication Concurrent Systems Formal Specification distributed computing distributed systems formal methods model checking network protocols networked systems testing verification.
Jetzt bei Ebay:
