0

Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conferences, FMOODS 2013 and FORTE 2013, Held as

Beyer, Dirk / Boreale, /
Erschienen am 01.05.2013
CHF 67,90
(inkl. MwSt.)
UVP

Lieferbar in ca. 10-14 Arbeitstagen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783642385919
Sprache: Englisch
Auflage: 1. Auflage

Beschreibung

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.

Weitere Artikel aus der Kategorie "Informatik & EDV"

Lieferbar innerhalb 36 Stunden

CHF 30,50
inkl. MwSt.
UVP

Lieferbarkeit auf Anfrage

CHF 17,90
inkl. MwSt.
UVP

Lieferbar innerhalb 36 Stunden

CHF 45,00
inkl. MwSt.
UVP

Lieferbarkeit auf Anfrage

CHF 27,90
inkl. MwSt.
UVP

Lieferbar innerhalb 36 Stunden

CHF 27,90
inkl. MwSt.
UVP
Alle Artikel anzeigen