[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

25 Years of Model Checking

Lingua IngleseInglese
Libro In brossura
Libro 25 Years of Model Checking Orna Grumberg
Codice Libristo: 01567994
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2008
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, feature... Descrizione completa
? points 120 b
50.83 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

96 Hours - Taken 2, Extended Cut, 1 Blu-ray Olivier Megaton / Blu-ray
common.buy 15.08 €
Lambacher Schweizer Mathematik 8 - G8. Ausgabe Hessen / Foglio
common.buy 31.25 €
Heine und die Nachwelt Geschichte seiner Wirkung in den deutschsprachigen Ländern Dietmar Goltschnigg / Rigido
common.buy 94.19 €
2084 Robert A Kaiser / In brossura
common.buy 22.47 €
120 Great Orientalist Paintings CD-ROM and Book / In brossura
common.buy 21.83 €
Camden Market - Ausgabe 2005 Otfried Börner / Rigido
common.buy 40.13 €
.. Mikhail Alekseevich Venevitinov / In brossura
common.buy 26.00 €
4. Jahrgang, Heft 1/2009. Übergang Schule - Hochschule / In brossura
common.buy 9.62 €
TERRA Erdkunde 1. Ausgabe Hessen Gymnasium / Rigido
common.buy 39.60 €
Zebra 2 Sonja Kargl / Foglio
common.buy 17.65 €
classical dictionary of the vulgar tongue. The second edition, corrected and enlarged. Francis Grose / In brossura
common.buy 36.17 €

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.

Informazioni sul libro

Titolo completo 25 Years of Model Checking
Autore Orna Grumberg, Helmut Veith
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 234
EAN 9783540698494
ISBN 3540698493
Codice Libristo 01567994
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 370
Dimensioni 156 x 235 x 15

Categorie

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 > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale
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