-
Zusatztext
-
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.
-
-
Autorenportrait
- 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.
Detailansicht
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
ISBN/EAN: 9783642385919
Umbreit-Nr.: 4728377
Sprache:
Englisch
Umfang: xiv, 321 S., 66 s/w Illustr., 321 p. 66 illus.
Format in cm: 1.8 x 23.5 x 15.5
Einband:
kartoniertes Buch
Erschienen am 16.05.2013
Auflage: 1/2013