[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

Model Checking

Lingua IngleseInglese
Libro Rigido
Libro Model Checking Clarke
Codice Libristo: 19285025
Casa editrice MIT Press Ltd, dicembre 2018
An expanded and updated edition of a comprehensive presentation of the theory and practice of model...
? points 250 b
105.75 €
Magazzino esterno Inviamo tra 3-5 giorni

30 giorni per il reso

Potrebbe interessarti anche

I MIGLIORI
Flow Mihaly Csikszentmihalyi / In brossura
common.buy 9.09 €
I MIGLIORI
Propaganda Jacques Ellul / In brossura
common.buy 18.61 €
I MIGLIORI
The Art of How to Train Your Dragon Tracey Miller-Zarneke / Rigido
common.buy 46.77 €
I MIGLIORI
Selina Lake: Garden Style Selina Lake / Rigido
common.buy 26.11 €
The Lies We Tell Ourselves: How to Face the Truth, Accept Yourself, and Create a Better Life Jon Frederickson / In brossura
common.buy 16.47 €
Search For The Real Self James F. Masterson / In brossura
common.buy 18.51 €
Knowledge Illusion Steven Sloman / In brossura
common.buy 17.22 €
Poručník Lady Fiony Amanda Scott / Rigido
common.buy 9.30 €
Moje pierwsze pięć lat wspomnienie dzieciństwa Opracowanie Zbiorowe / Rigido
common.buy 18.19 €
A Summer Spell Sue Bentley / In brossura
common.buy 7.91 €
HIDDEN P. C. Cast / Rigido
common.buy 21.93 €
Portae cum turribus Paul Bidwell / In brossura
common.buy 123.84 €
Traditional Architecture Alireza Sagharchi / Rigido
common.buy 71.92 €
Fox the Tiger Corey R. Tabor / In brossura
common.buy 5.98 €
Raising Girls into Extraordinary Young Women Monica Hawkins Ph.D. M.P.H. / In brossura
common.buy 15.62 €
World Heritage and Sustainable Development Peter Bille Larsen / In brossura
common.buy 63.25 €

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Informazioni sul libro

Titolo completo Model Checking
Autore Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2018
Numero di pagine 424
EAN 9780262038836
ISBN 9780262038836
Codice Libristo 19285025
Casa editrice MIT Press Ltd
Peso 820
Dimensioni 187 x 236 x 25

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori
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