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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
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 158 b
64.69 €
Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Prinzessin Sakura 2in1 05 Rosa Vollmer / Libro In brossura
common.buy 8.49 €
Echiche nke Mmakọ Ewumewu Obibi Mwepụta Ọhụrụ MATTHIAS FIEDLER / Libro In brossura
common.buy 13.79 €
Ein Leben in eigenen Worten Freddie Mercury / Libro Rigido
common.buy 23.89 €
EL VIENTO CONOCE MI NOMBRE ALLENDE / Libro In brossura
common.buy 13.79 €
In preparazione
Young Adult ELI Readers - Italian Luigi Pirandello / Libro Rigido
common.buy 10.69 €
Blue Lock - Episode Nagi T01 / Libro In brossura
common.buy 8.69 €
Strategisch Mobel verkaufen II Paul Reinhold Linn / Libro elettronico Adobe ePub DRM
common.buy 5.49 €
Estimular y aprender JESUS JARQUE GARCIA / Libro In brossura
common.buy 23.89 €
Escritos de vanguardia DANIIL 1HARMS / Libro Libro
common.buy 12.39 €
Moje pierwsze pięć lat wspomnienie dzieciństwa Opracowanie Zbiorowe / Libro Rigido
common.buy 12.09 €
Acustica Arquitectonica en Espacios Educativos Germán Said / Libro In brossura
common.buy 60.79 €
Poručník Lady Fiony Amanda Scott / Libro Rigido
common.buy 9.29 €
Cattive compagnie Ruth Newman / Libro In brossura
common.buy 11.19 €
John Cage-Journeys In Sound Allan Miller / Video DVD
common.buy 33.49 €

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.

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 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

Potrebbe interessarti anche

Model Checking Software Corina S. Pasareanu / Libro In brossura
common.buy 50.99 €
Model Checking, second edition Jr. Edmund M. Clarke / Libro elettronico Adobe ePub DRM
common.buy 70.19 €
World Heritage and Sustainable Development Peter Bille Larsen / Libro In brossura
common.buy 60.99 €
Knowledge Illusion Steven Sloman / Libro In brossura
common.buy 12.59 €
Silicon Nanowire Transistors AHMET BINDAL / Libro In brossura
common.buy 81.49 €
I migliori
V&A William Morris Recipe Box William Morris / Calendario/Agenda Agenda
common.buy 17.39 €
Attachment Theory in Practice Johnson / Libro Rigido
common.buy 46.49 €
Fox the Tiger Corey R. Tabor / Libro In brossura
common.buy 5.09 €
Chinese International Students' Stressors and Coping Strategies in the United States Kun Yan / Libro In brossura
common.buy 50.99 €
17 songs Dario Greggio / Libro In brossura
common.buy 20.89 €
Raising Girls into Extraordinary Young Women Monica Hawkins Ph.D. M.P.H. / Libro In brossura
common.buy 11.09 €
Disney Princess Cross-Stitch: 22 Easy-To-Follow Patterns Featuring Ariel, Belle, Jasmine, Mulan, and More! Disney / Libro In brossura
common.buy 12.59 €
Twins of Auschwitz Lisa Rojany Buccieri / Libro In brossura
common.buy 10.29 €
The Art of War by Sun Tzu: The Official Edition Shanghai-Hunan Publishing / Libro In brossura
common.buy 9.79 €
Simon & Schuster Mega Crossword Puzzle Book #21 John M. Samson / Libro In brossura
common.buy 13.89 €
Look at me like you love me Jess T. Dugan / Libro Rigido
common.buy 47.79 €
I migliori
Babel R. F. Kuang / Libro Rigido
common.buy 22.79 €
Embroidered Crochet Anna Nikipirowicz / Libro In brossura
common.buy 15.79 €
The Mother Tongue of Architecture: Selected Writing from Kazi Khaleed Ashraf Kazi Ashraf / Libro Rigido
common.buy 40.19 €
I migliori
A Condition Called Love 15 V15 / Libro In brossura
common.buy 8.49 €
I migliori
Aliens Epic Collection: The Original Years Vol. 3 Christopher Taylor / Libro In brossura
common.buy 38.39 €
I migliori
All Tomorrows C. M. Kosemen / Libro Rigido
common.buy 18.69 €
I migliori
Flow Mihaly Csikszentmihalyi / Libro In brossura
common.buy 6.29 €
Traditional Architecture Alireza Sagharchi / Libro Rigido
common.buy 56.49 €

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?