Verwandte Artikel zu Formal Techniques for Distributed Systems: Joint IFIP...

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proc - Softcover

 
9783642385933: Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proc
Softcover
ISBN 10: 3642385931 ISBN 13: 9783642385933
Verlag: Springer, 2013

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Distributed 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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
3642385931
ISBN 13 
9783642385933
Einband
Paperback
Anzahl der Seiten
336
Herausgeber
Beyer Dirk, Boreale Michele
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783642385919: Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... 7892 (Programming and Software Engineering)

Vorgestellte Ausgabe

ISBN 10:  3642385915 ISBN 13:  9783642385919
Verlag: Springer, 2013
Softcover