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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Rajeev Alur
Codice Libristo: 01559563
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

TNM Atlas 7e JD Brierley / Libro In brossura
common.buy 106.79 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Libro In brossura
common.buy 9.09 €
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Libro Rigido
common.buy 13.49 €
Cosa Nostra John Dickie / Libro In brossura
common.buy 15.19 €
In preparazione
Praha mapa turistických zajímavostí / Pubblicazioni cartacee Mappa
common.buy 2.69 €
PALINODIE Giacomo LEOPARDI / Libro In brossura
common.buy 9.99 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Libro In brossura
common.buy 33.59 €
Maison la plus grande du monde (La) LIONNI / Libro In brossura
common.buy 9.39 €
Adolescence, maltraitance et placement Van Hooland / Libro In brossura
common.buy 20.29 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Libro In brossura
common.buy 7.69 €
Código de insolvencias empresariales Rodriguez Achutegui / Libro In brossura
common.buy 76.99 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Libro In brossura
common.buy 12.29 €
Economico
Harry Potter Tvory a netvory Jody Revenson / Libro Rigido
common.buy 17.59 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and 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 Computer Aided Verification
Autore Rajeev Alur, Doron A. Peled
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 536
EAN 9783540223429
ISBN 3540223428
Codice Libristo 01559563
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1700
Dimensioni 155 x 233 x 30

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
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 > Scienza dei calcolatori > Intelligenza artificiale
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

Neuroeconomics MARTIN REUTER / Libro In brossura
common.buy 171.49 €
Second Language Teacher Education Diane J. Tedick / Libro In brossura
common.buy 95.89 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Libro In brossura
common.buy 17.09 €
Economico
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Libro In brossura
common.buy 2.19 €
Chasing Time F I Goldhaber / Libro In brossura
common.buy 11.19 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Libro In brossura
common.buy 36.79 €
More Than Words Vernon Logan / Libro In brossura
common.buy 17.79 €
Stories of Animal Sagacity W. H. G. Kingston / Libro In brossura
common.buy 20.59 €
Happiness Andy Cope / Libro Rigido
common.buy 16.49 €
Maria The Monarch Homero Aridjis / Libro In brossura
common.buy 14.49 €
Women Who Move Mountains Sue Detweiler / Libro In brossura
common.buy 16.59 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Libro In brossura
common.buy 107.29 €
I migliori
Devil's Reign Zdarsky / Libro In brossura
common.buy 26.79 €
Operatic China D. Lei / Libro In brossura
common.buy 99.69 €
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Libro Rigido
common.buy 33.69 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Libro In brossura
common.buy 53.39 €
Interpretations of Native North American Life Michael S. Nassaney / Libro In brossura
common.buy 28.79 €
Making Schools Different Kitty te Riele / Libro Rigido
common.buy 125.59 €
Pure Cute Beverly West / Libro Rigido
common.buy 10.09 €
Swahili Grammar and Workbook Fid?le Mpiranya / Libro In brossura
common.buy 87.29 €
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Libro Rigido
common.buy 47.69 €
I migliori
Grounded George Brant / Libro In brossura
common.buy 18.19 €
Beyond Babar Sandra L. Beckett / Libro elettronico Adobe ePub DRM
common.buy 97.69 €
In preparazione
Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang / Libro In brossura
common.buy 78.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