Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Techniques for Distributed Systems

Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Techniques for Distributed Systems David Lee
Codice Libristo: 01649869
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2009
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on F... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

My Mom is Awesome (Danish Book for Kids) Kidkiddos Books / Libro In brossura
common.buy 17.19 €
Ein neues Leben Antje Rávik Strubel / Libro Rigido
common.buy 22.59 €
Ammiraglia di tutte le zattere Paolo Colavero / Libro In brossura
common.buy 21.29 €
Gomma di Tamarindo Chandana S / Libro In brossura
common.buy 74.39 €
Finitud y tiempo Julian Serna Arango / Libro elettronico Adobe ePub DRM
common.buy 4.49 €
El amor, el sexo y el matrimonio DOVAL / Libro Libro
common.buy 12.29 €
Personal de servicios generales de la administración de la comunidad foral de navarra. Test Editorial Mad / Libro binding.
common.buy 24.69 €
Negligencias médicas en anestesiología y responsabilidad civil del anestesista Gutiérrez Santiago / Libro In brossura
common.buy 42.49 €
Vorstellung Vom Weltgebaude Im Wandel Der Zeiten Svante A. Arrhenius / Libro In brossura
common.buy 38.29 €
Caballos salvajes JORDI CUSSA / Audio CD audio
common.buy 26.79 €
Repetitorium Schmerztherapie Michael Hatzenbühler / Libro In brossura
common.buy 63.99 €
Palabras con corazón María Eugenia Manrique / Libro In brossura
common.buy 22.29 €

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.§The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Techniques for Distributed Systems
Autore David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2009
Numero di pagine 249
EAN 9783642021374
ISBN 3642021379
Codice Libristo 01649869
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 409
Dimensioni 155 x 235 x 15

Categorie

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
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 > 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

The Centaur Algernon Blackwood / Libro In brossura
common.buy 20.09 €
Using Student Feedback for Successful Teaching Zierer / Libro In brossura
common.buy 41.19 €
Roger Ludlow, The Colonial Lawmaker John Metcalf Taylor / Libro Rigido
common.buy 32.79 €
Familiar Spanish Travels William Dean Howells / Libro In brossura
common.buy 43.49 €
Horses Don't Lie Chris Irwin / Libro elettronico Adobe ePub DRM
common.buy 11.29 €
Narcissist: You Can't Love a Narcissist. How to Escape from a Narcissistic Relationship. Recognize Emotional Manipulation and Stop Wendy Jackson / Libro In brossura
common.buy 10.69 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?