Formal Techniques for Distributed Systems - Taschenbuch

Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conferences, FMOODS 2013 and FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5,2013, Proceedings - Lecture Notes in Com
Springer Verlag GmbH
Informatik, EDV/Informatik
ISBN/EAN:  9783642385919
Sprache: Englisch
Umfang: xiv, 321 S., 66 s/w Illustr., 321 p. 66 illus.
Einband: kartoniertes Buch
Auf die Merkliste
€ 53,49
inkl. MwSt.
Lieferbar innerhalb 2-3 Tagen
gratis Lieferung in Nürnberg, versandkostenfrei ab 19,00 €*
In den Warenkorb
InhaltsangabeDistributed computing models.- Formal specification.- Testing.- Verification methods.- Application-level distributed systems.- Telecommunication services.- Internet.- Embedded and real-time systems.-Networking and communication security and reliability.
InhaltsangabeDistributed computing models.- Formal specification.- Testing.- Verification methods.- Application-level distributed systems.- Telecommunication services.- Internet.- Embedded and real-time systems.-Networking and communication security and reliability.