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

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Kousha Etessami
Codice Libristo: 01560845
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 2005
This book constitutes the refereed proceedings of the 17th 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

Bombolles i tovallola MÜHLE JÖRG / Libro Rigido
common.buy 17.39 €
Ausgewahlte Schriften des Lucian Julius Wilhelm Ewald Sommerbrodt / Libro In brossura
common.buy 21.49 €
La Teolosis y la Mujer Dr Elvin Heredia Phd / Libro In brossura
common.buy 11.59 €
Koordinationstraining im Golf Marc Müller-Dargusch / Libro In brossura
common.buy 32.49 €
A l'aube des heures fertiles Debarle / Libro In brossura
common.buy 23.69 €
Histoire des Associations familiales catholiques Michel Emmanuel / Libro In brossura
common.buy 27.69 €
Voyage au bout du monde Chang / Libro In brossura
common.buy 17.89 €
Trouble de la personnalité borderline - Pratiques thérapeutiques Stéphane Kolly / Libro In brossura
common.buy 54.99 €
POESIE IN MUSICA Biagio Di Carlo E Mara Seccia / Libro In brossura
common.buy 11.79 €
Fragiler Pluralismus Hans-Georg Soeffner / Libro In brossura
common.buy 37.49 €
Die Septuaginta - Geschichte, Wirkung, Relevanz Martin Meiser / Libro Rigido
common.buy 348.99 €
Auslandsinvestitionen Und Wahrungsrisiken Thomas Schäfer / Libro In brossura
common.buy 44.39 €
Anordnung zur Übertragung der Zuständigkeit für den Erlass von Widerspruchsbescheiden und der Vertretung bei Klagen von Beamten des Bundesinstituts fü Antiphon Verlag / Libro Foglio
common.buy 9.39 €
Evaluación de Proyectos de Inversión Octavio Rolando Lara Martinez / Libro In brossura
common.buy 37.29 €
Teorias implicitas acerca del curriculo en profesores de secundaria Rojas Romero Jesus Gabriela / Libro In brossura
common.buy 60.59 €
Eenduisend-En-Een Grimmige Nagte Yolanda Faye Holden / Libro In brossura
common.buy 15.39 €

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 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 Kousha Etessami, Sriram K. Rajamani
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2005
Numero di pagine 568
EAN 9783540272311
ISBN 3540272313
Codice Libristo 01560845
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1800
Dimensioni 155 x 235 x 32

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

Contemporary Electroanalytical Chemistry A. Ivaska / Libro Rigido
common.buy 214.29 €
Everyday English, Book 1: Language Lessons For Intermediate Grades (1902) Jean Sherwood Rankin / Libro Rigido
common.buy 44.59 €
Flyleaf Volume One: 2014 Flyleaf Journal / Libro In brossura
common.buy 10.69 €
Rogues and Vagabonds George R Sims / Libro In brossura
common.buy 15.39 €
The Claverings Anthony Trollope / Libro In brossura
common.buy 17.09 €
Sexual Mountain and Black Women Writers Calvin C. Hernton / Libro In brossura
common.buy 13.79 €
Ucoa: The Biker Experience Thomas Zimmer / Libro In brossura
common.buy 57.49 €
Big Data Hai Jin / Libro In brossura
common.buy 53.79 €
The Great Boer War Arthur Conan Doyle / Libro In brossura
common.buy 20.59 €
R Programming: A Step-by-Step Guide for Absolute Beginners Daniel Bell / Libro In brossura
common.buy 14.49 €
Handbook of Essential Oils K. Husnu Can Baser / Libro Rigido
common.buy 332.59 €
The Medicine-Men of the Apache, Volume 9... John Gregory Bourke / Libro In brossura
common.buy 20.29 €
Tibetan Terrier. Tibetan Terrier Dog Complete Owners Manual. Tibetan Terrier book for care, costs, feeding, grooming, health and training. George Hoppendale / Libro In brossura
common.buy 15.59 €
Submissive Training More Sex More Fun Book Club / Libro In brossura
common.buy 16.29 €
Our World 6: Grammar Workbook CRANDALL SHIN / Libro Foglio
common.buy 19.89 €
Max and Moritz Stefan Hollos / Libro In brossura
common.buy 21.89 €
Philosophy of Health, or, An Exposition of the Physical and Mental Constitution of Man Southwood 1788-1861 Smith / Libro In brossura
common.buy 27.89 €
Body Intelligence Ph.D. Joseph Cardillo / Audiolibro MP3
common.buy 15.69 €
Decisive Endgame Mikael Carlson / Libro In brossura
common.buy 15.19 €
Digital Nomads B. Vincent / Libro In brossura
common.buy 13.19 €
Dior Fashion Unfolded Vol 02 TEAM FASHIONARY / Libro Rigido
common.buy 20.49 €
Culture, Ethnicity, and Personal Relationship Processes Gaines / Libro Rigido
common.buy 205.09 €
Business Basics International Edition: Teacher's Book David Grant / Libro In brossura
common.buy 15.19 €
Handbook of Participatory Video E J Milne / Libro Rigido
common.buy 229.79 €

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?