[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 Methods for Open Object-Based Distributed Systems

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods for Open Object-Based Distributed Systems Roberto Gorrieri
Codice Libristo: 01562207
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2006
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Fo... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Communicating and Mobile Systems Robin Milner / In brossura
common.buy 89.48 €
Pi-Calculus Davide SangiorgiDavid Walker / In brossura
common.buy 102.00 €

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

Informazioni sul libro

Titolo completo Formal Methods for Open Object-Based Distributed Systems
Autore Roberto Gorrieri, Heike Wehrheim
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2006
Numero di pagine 276
EAN 9783540348931
ISBN 354034893X
Codice Libristo 01562207
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 890
Dimensioni 155 x 235 x 16

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 > Programmazione orientata agli oggetti (OOP)
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 > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

Potrebbe interessarti anche

I MIGLIORI
Hacking: The Art Of Exploitation Jon Erickson / In brossura
common.buy 46.77 €
I MIGLIORI
Security Engineering - A Guide to Building Dependable Distributed Systems, Third Edition Anderson / Rigido
common.buy 70.32 €
Art of Intrusion - The Real Stories Behind the Exploits of Hackers, Intruders and Deceivers Kevin D Mitnick / In brossura
common.buy 18.40 €
Practical Signal Processing Mark Owen / In brossura
common.buy 73.21 €
Events and Their Afterlife Alan C. Charity / In brossura
common.buy 54.47 €
Peugeot 206 von 10/98 bis 5/13 Hans-Rüdiger Etzold / In brossura
common.buy 34.14 €
Drugs in Inflammation Michael Parnham / In brossura
common.buy 72.67 €
Distributed Pi-Calculus Matthew Hennessy / Rigido
common.buy 113.24 €
Smart Distributed Embedded Systems for Healthcare Applications / Rigido
common.buy 211.08 €
Dynamic Taxonomies and Faceted Search Giovanni M. Sacco / Rigido
common.buy 143.32 €
richtige Weg zum Keyboardspielen (Stufe 6) Peter Grosche / In brossura
common.buy 26.64 €
Metabolic Profiling Thomas O. Metz / Rigido
common.buy 143.32 €
Transformations of Mind Michael McGhee / Rigido
common.buy 90.76 €
Evolutionary Computations K. Watanabe / Rigido
common.buy 143.32 €
Vierte Ort Christoph Wickli / In brossura
common.buy 30.50 €
Cross-Channel-Management Gerrit Heinemann / In brossura
common.buy 53.40 €

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