[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Formal Techniques for Distributed Systems

Lingua IngleseInglese
Libro In brossura
Libro Formal Techniques for Distributed Systems John Hatcliff
Codice Libristo: 01655975
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2010
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Descrizione completa
? points 174 b
73.74 €
Magazzino esterno Inviamo tra 13-18 giorni

30 giorni per il reso

Potrebbe interessarti anche

Kde bývajú zvieratká? neuvedený autor / Leporello
common.buy 8.34 €
Christian Apologetics Norman L. Geisler / In brossura
common.buy 33.81 €
Packaging Development Process Kristine DeMaria / Rigido
common.buy 289.43 €
Ottoman Scramble for Africa Mostafa Minawi / Rigido
common.buy 148.24 €
Jahre des Umbruchs Clemens Vollnhals / Rigido
common.buy 125.98 €
Aging and Neuropsychological Assessment Asenath La Rue / Rigido
common.buy 220.39 €
Cartographies of Exile / Rigido
common.buy 263.42 €
Interchange Intro Full Contact A with Self-study DVD-ROM Jack C. Richards / In brossura
common.buy 42.38 €
Pierre and His People, [Tales of the Far North], Volume 5. Gilbert Parker / In brossura
common.buy 22.47 €
Foundation for Yoga Practitioners Ulrich Timme Kragh / Rigido
common.buy 114.85 €
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Rigido
common.buy 259.89 €
Origins of Free Peoples Jason Caro / In brossura
common.buy 75.78 €
Senilita Italo Svevo / In brossura
common.buy 14.65 €
Grusel, Terror, Videospiel Christoph Hurka / In brossura
common.buy 47.20 €
Marketing im Mittelstand Clemens Renker / Rigido
common.buy 71.71 €
Itsuka Joy Kogawa / In brossura
common.buy 20.86 €

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed systems.

Informazioni sul libro

Titolo completo Formal Techniques for Distributed Systems
Autore John Hatcliff, Elena Zucca
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 233
EAN 9783642134630
ISBN 3642134637
Codice Libristo 01655975
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 386
Dimensioni 159 x 240 x 19

Categorie

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Comunicazione tra computer e reti > Sistemi distribuiti
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo