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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

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 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Libro In brossura
common.buy 30.39 €
Tiere und ihr Zuhause Claudia Boldt / Gioco/giocattolo Gioco
common.buy 14.89 €
¡De vacaciones! PETER KNORR / Libro In brossura
common.buy 16.69 €
O Livro de Metatron - O Anjo da Presença Max Stone / Libro In brossura
common.buy 16.09 €
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Libro In brossura
common.buy 7.69 €
Čeho bychom se měli obávat? John Brockman / Libro In brossura
common.buy 12.69 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Libro In brossura
common.buy 33.79 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Gioco/giocattolo Gioco
common.buy 44.39 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Libro In brossura
common.buy 73.59 €
20.000 leguas de viaje submarino Jules Verne / Libro Rigido
common.buy 14.99 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Libro In brossura
common.buy 38.99 €
Lean Management Andreas Kammel / Libro In brossura
common.buy 44.39 €
Journal Martin du Gard / Libro Rigido
common.buy 72.49 €
Magdeburger Drogenmarkt Sven Paschke / Libro In brossura
common.buy 35.49 €
Cocktails Manuela Eder / Libro Rigido
common.buy 5.89 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Libro Rigido
common.buy 23.39 €
Abenteuer des schwarzen Gerard 2 Karl May / Libro Rigido
common.buy 27.99 €
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Libro Rigido
common.buy 25.89 €

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.

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

Potrebbe interessarti anche

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Libro In brossura
common.buy 13.89 €
Introduction to Home Management Sandhya Rani Mohanty / Libro In brossura
common.buy 37.39 €
I migliori
Let's Find Momo! Andrew Knapp / Libro Leporello
common.buy 11.49 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Libro Rigido
common.buy 40.69 €
SAXON MATH COURSE 1 Saxpub / Libro Rigido
common.buy 218.99 €
Taste of Home How Do I Make...? Editors at Taste of Home / Libro In brossura
common.buy 17.39 €
Under the Gaslight Augustin Daly / Libro In brossura
common.buy 13.19 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Libro In brossura
common.buy 10.69 €
Cheerleading Kaitlyn Duling / Libro Rigido
common.buy 34.19 €
Pediatric Dysphagia Julina Ongkasuwan / Libro Rigido
common.buy 146.99 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Libro In brossura
common.buy 12.69 €
Housing in Taiwan William D.H. Li / Libro Rigido
common.buy 178.29 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Libro In brossura
common.buy 18.19 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Libro In brossura
common.buy 30.49 €
Hawaiian Chihuahua Ukulele Tabs / Libro In brossura
common.buy 9.79 €
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Libro In brossura
common.buy 205.09 €
Sunkisses Larsee H Mac / Libro In brossura
common.buy 15.39 €
I migliori
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Libro Rigido
common.buy 20.59 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Libro In brossura
common.buy 28.79 €
Epic Drives of the World 1 Lonely planet eng / Libro In brossura
common.buy 16.89 €
Inspired Winsome James / Libro In brossura
common.buy 18.19 €
Crime for the Books Kate Young / Libro elettronico Adobe ePub DRM
common.buy 18.49 €
I migliori
Eden of Witches Volume 1 YUMEJI / Libro In brossura
common.buy 11.39 €
Research Methods in Publishing and Book Studies Rachel Noorda / Libro In brossura
common.buy 61.09 €

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