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

Computer Aided Verification

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification David L. Dill
Codice Libristo: 05274394
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Libro In brossura
common.buy 22.89 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Libro In brossura
common.buy 17.89 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Libro In brossura
common.buy 35.49 €
Google adwords CAUMONT / Libro Libro
common.buy 33.69 €
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / Libro elettronico Adobe ePub DRM
common.buy 10.29 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Libro Rigido
common.buy 25.69 €
Puedes Preguntar Porque Dios Responde: Todo Lo Que Querías Saber Está Aquí Norma Flores / Libro In brossura
common.buy 10.69 €
MES RECETTES PRÉFÉRÉES - Cahier à remplir Foodcuis' / Libro In brossura
common.buy 14.09 €
BASICS Psychiatrie Anja Volz / Libro In brossura
common.buy 26.79 €
ARANCINI KUNST Malle Raudsepp / Libro In brossura
common.buy 34.29 €
Les cycles économiques Ferrara / Libro In brossura
common.buy 34.39 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / Libro elettronico Adobe ePub DRM
common.buy 9.09 €
13 Gesetze der Weisheit Kim Barkmann / Libro In brossura
common.buy 15.99 €
In preparazione Nuovi
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Libro In brossura
common.buy 7.29 €
On Opened Ground Mark-Anthony Turnage / Pubblicazioni cartacee Note
common.buy 49.99 €
Citadino Mistico MOISES RODRIGUEZ / Libro In brossura
common.buy 8.69 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Libro In brossura
common.buy 16.09 €
Geschichtsbilder Jürgen Aretz / Libro In brossura
common.buy 13.89 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Libro In brossura
common.buy 32.69 €
Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández / Libro In brossura
common.buy 24.59 €
El caballo, cría y manejo Enzo Berner / Libro In brossura
common.buy 24.59 €
Autobiografía de mi madre Jamaica Kincaid / Libro In brossura
common.buy 22.99 €
La Bíblia de tots Pilarín Bayés / Libro In brossura
common.buy 30.39 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Libro In brossura
common.buy 44.49 €

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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 David L. Dill
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1994
Numero di pagine 486
EAN 9783540581796
ISBN 3540581790
Codice Libristo 05274394
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1520
Dimensioni 155 x 235 x 26

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica
Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
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 > Sistemi operativi
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

Topology Optimization Martin Ph. Bendsoe / Libro In brossura
common.buy 150.19 €
Love Scrolls Edward Theodore Hayes / Libro Rigido
common.buy 23.59 €
Exposition of Browning's 's Ordello' David Duff / Libro Rigido
common.buy 34.79 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Libro In brossura
common.buy 23.99 €
Sparkcharts Calculus II Sparknotes LLC / Libro In brossura
common.buy 6.69 €
Sparky the Rescue Dog Saves the Day Gail Westover / Libro In brossura
common.buy 11.59 €
Broadway Michelle Young / Libro Rigido
common.buy 25.79 €
Aid to the MRCP PACES Volume 1 - Stations 1 and 3 4e Robert E J Ryder / Libro In brossura
common.buy 81.49 €
I migliori
Golden Kamuy, Vol. 1 Satoru Noda / Libro In brossura
common.buy 12.49 €
The Monastery Walter Scott / Libro In brossura
common.buy 25.69 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Libro In brossura
common.buy 18.19 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Libro In brossura
common.buy 20.09 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Libro In brossura
common.buy 17.89 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Libro In brossura
common.buy 71.69 €
Startup CEO Matt Blumberg / Libro Rigido
common.buy 24.59 €
Secure And Policy Compliant Source Routing Rahul D / Libro In brossura
common.buy 51.19 €
My Mother, The Liar Ann Troup / Libro elettronico Adobe ePub DRM
common.buy 6.49 €
Handbook of Anti-Aging Medicine Mike Ks Chan / Libro In brossura
common.buy 197.49 €
Manual of Prayers / Libro Rigido
common.buy 55.09 €
I migliori Nuovi
Outlaw Planet M. R. Carey / Libro In brossura
common.buy 11.09 €
In preparazione
God Knows His Name David Bakke / Libro Rigido
common.buy 58.29 €
Drop S. R. Masters / Libro elettronico Adobe ePub DRM
common.buy 7.99 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Libro Rigido
common.buy 146.89 €
Abandon the Old in Tokyo Yoshihiro Tatsumi / Libro In brossura
common.buy 14.29 €

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?