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.99 € Punto Poste 5.99 € Corriere DHL 7.49 € Corriere GLS 6.49 € Punto GLS 4.99 € Corriere Bartolini 4.99 € Punto Bartolini 3.99 €
phone Contatto phoneCome acquistare

Computer Aided Verification

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Orna Grumberg
Codice Libristo: 05274713
Casa editrice Springer, Berlin, novembre 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Libro In brossura
common.buy 23.39 €
Arkham Horror: Lovecraft Letter Zman / Gioco/giocattolo Gioco
common.buy 18.19 €
Rigenerare il nucleo Yash Wadhwani / Libro In brossura
common.buy 79.09 €
Le Monde extérieur Duras / Libro In brossura
common.buy 17.49 €
Luz Herrera Goya / Libro In brossura
common.buy 11.19 €
Halb so wild Antonia Wien / Libro Rigido
common.buy 26.29 €
La lozanía de los inmortales Vera Portocarrero / Libro In brossura
common.buy 20.19 €
Rhapsodie pour un Nouveau Monde Bérard / Libro In brossura
common.buy 18.39 €
Grande Ou Petite Propriété?: Histoire Des Doctrines En France Sur La Répartition Du Sol Et La Transformation Industrielle De L'agriculture... Michel Augé-Laribé / Libro Rigido
common.buy 33.59 €
Patron Oro Calderon Ivan Calderon / Libro In brossura
common.buy 13.19 €
Handbuch Alzheimer-Krankheit Frank Jessen / Libro elettronico Adobe ePub DRM
common.buy 128.64 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Libro In brossura
common.buy 24.90 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Audio CD audio
common.buy 13.19 €
Primiracconti Luisa Brisi / Libro In brossura
common.buy 5.99 €
Mathefreunde - Ausgabe Nord 2010 (Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen-Anhalt) - 4. Schuljahr Edmund Wallis / Libro Foglio
common.buy 13.89 €
AEsthetik nach Wittgenstein Yves Bossart / Libro Rigido
common.buy 180.69 €
zahmen Wilden ... Maria Falkena-Roehrle / Libro In brossura
common.buy 18.79 €
Un éternel prisonnier Dominique Henry / Libro In brossura
common.buy 20.69 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Libro Rigido
common.buy 23.59 €
Mehrkomponentenvertrage Benedikt Weisser / Libro In brossura
common.buy 35.59 €
Nuove storie d'ogni colore Emilio De Marchi / Libro In brossura
common.buy 14.09 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Libro In brossura
common.buy 18.69 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Libro In brossura
common.buy 60.49 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Libro In brossura
common.buy 9.09 €

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Orna Grumberg
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1997
Numero di pagine 492
EAN 9783540631668
ISBN 3540631666
Codice Libristo 05274713
Casa editrice Springer, Berlin
Peso 654
Dimensioni 156 x 234 x 25

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

Potrebbe interessarti anche

Embedded Software and Systems Man Lin / Libro In brossura
common.buy 117.59 €
Advances in Exception Handling Techniques Alexander Romanovsky / Libro In brossura
common.buy 53.79 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Libro In brossura
common.buy 32.09 €
The Marauders' Island Tristan J. Tarwater / Libro In brossura
common.buy 14.99 €
Finding the Way Home Chris McFarland / Libro In brossura
common.buy 8.69 €
Learning to Study the Bible Student Journal L J Zimmerman / Libro In brossura
common.buy 8.49 €
The Lay of Lirazel Stephen R Babb / Libro In brossura
common.buy 13.19 €
Tessili Rogue Robin Stephen / Libro In brossura
common.buy 9.59 €
A Cook in the Kingdom Daniel Gonzalez / Libro In brossura
common.buy 13.19 €
Edexcel A-level Mathematics Student Book Year 1 and AS Chris Pearce / Libro In brossura
common.buy 36.59 €
Aye Aye, Professor Tekyp and Hyperbrits: Vol IV Dr Ana Isabel Ordonez / Libro In brossura
common.buy 12.29 €
Complete Guide to POI and Early Menopause Dr Mandy Leonhardt / Libro In brossura
common.buy 17.19 €
The Peacock and the Snake Elija K Soi / Libro In brossura
common.buy 15.79 €
Degree Gradation of Verbs Jens Fleischhauer / Libro In brossura
common.buy 41.39 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Libro In brossura
common.buy 14.49 €
Getting to Grips with BIM Graham Paterson / Libro In brossura
common.buy 79.59 €
Where to Go When The Americas DK / Libro Rigido
common.buy 23.69 €
Talks James E. Potter / Libro In brossura
common.buy 21.80 €
A Simplified Interpretation of the Book of Revelation: Based Primarily on Two Modern Revelations Given to Us by Jesus in 1908 Walker Thomas / Libro In brossura
common.buy 24.19 €
Speed of Light and the Simplicity RICHARD CLOUGH / Libro Rigido
common.buy 30.19 €
Belief and Evangelism DOUGLAS VICKERS / Libro Rigido
common.buy 33.19 €
William Morley Punshon, preacher and orator, 1824-1881: William M. Punshon / Libro In brossura
common.buy 16.89 €
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Libro In brossura
common.buy 107.29 €
I migliori
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Libro Ad anelli
common.buy 21.99 €

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?