Articoli correlati a 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 - Brossura

 
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
Brossura
ISBN 10: 3642385931 ISBN 13: 9783642385933
Casa editrice: Springer, 2013

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3642385931
ISBN 13 
9783642385933
Rilegatura
Paperback
Numero di pagine
336
Redattore
Beyer Dirk, Boreale Michele
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783642385919: Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... Italy, June 3-5, 2013, Proceedings: 7892

Edizione in evidenza

ISBN 10:  3642385915 ISBN 13:  9783642385919
Casa editrice: Springer, 2013
Brossura