[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

Computer Aided Verification

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Ed Brinksma
Codice Libristo: 01564506
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Descrizione completa
? points 339 b
143.32 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

I MIGLIORI IN PREPARAZIONE
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Rigido
common.buy 27.07 €
Approximate Distributions of Order Statistics Rolf-Dieter Reiss / Rigido
common.buy 101.79 €
Abenteuer des schwarzen Gerard 2 Karl May / Rigido
common.buy 30.39 €
Under the Gaslight Augustin Daly / In brossura
common.buy 22.79 €
Introduction to Logic and Theory of Knowledge Edmund Husserl / In brossura
common.buy 387.38 €
Biomedical Institutions, Biomedical Funding, and Public Policy H. Hugh Fudenberg / In brossura
common.buy 72.67 €
Cocktails Manuela Eder / Rigido
common.buy 8.02 €
Arab Business Yearbook 1986 raham & Trotman Ltd / Rigido
common.buy 220.39 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

Informazioni sul libro

Titolo completo Computer Aided Verification
Autore Ed Brinksma, Kim G. Larsen
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 362
EAN 9783540439974
ISBN 3540439978
Codice Libristo 01564506
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 2010
Dimensioni 155 x 233 x 36

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
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
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