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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Codice Libristo: 01569894
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... 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

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Libro In brossura
common.buy 62.79 €
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Libro In brossura
common.buy 51.99 €
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Libro Libro
common.buy 39.59 €
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Libro In brossura
common.buy 3.09 €
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Libro In brossura
common.buy 23.69 €
L'ORTHODONTIE FONCTIONNELLE Choukroun / Libro In brossura
common.buy 59.49 €
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Libro In brossura
common.buy 25.69 €
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Libro In brossura
common.buy 11.39 €
Engagementpolitik Thomas Olk / Libro In brossura
common.buy 83.59 €
Geburt der Musik Willy Pastor / Libro In brossura
common.buy 23.39 €
Djinn Jorge Pardo / Audio CD audio
common.buy 23.89 €
Ränder der Moderne Robert Weimann / Libro In brossura
common.buy 13.49 €

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

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 Verification, Model Checking, and Abstract Interpretation
Autore Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 325
EAN 9783540781622
ISBN 3540781625
Codice Libristo 01569894
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 522
Dimensioni 155 x 235 x 19

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
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

Electrochemistry IV Eberhard Steckhan / Libro Rigido
common.buy 142.79 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Libro In brossura
common.buy 15.29 €
Westmorland Alone Ian Sansom / Audiolibro MP3
common.buy 14.89 €
Trump Boom Andrew Puzder / Libro In brossura
common.buy 14.99 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Libro In brossura
common.buy 10.69 €
Jake Wolf Attorney at Law David Shaw / Libro In brossura
common.buy 9.59 €
Truffaut on Cinema Anne Gillain / Libro In brossura
common.buy 37.89 €
Guide Book To York Minster F. Harriso / Libro In brossura
common.buy 24.49 €
Prince of Rockport Guy Vanamburg / Libro In brossura
common.buy 20.09 €
Essay on the Progressive Improvement of Mankind. an Oration Delivered in the Chapel of Trinity College, Cambridge, on the Day of Commemoration ... William Lamb Melbourne / Libro In brossura
common.buy 13.29 €
National Flood Insurance Program Cameron O'Kelly / Libro In brossura
common.buy 91.89 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio CD audio
common.buy 94.99 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Libro Rigido
common.buy 103.89 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Libro In brossura
common.buy 35.19 €
Twentieth-Century Diplomacy John W. Young / Libro In brossura
common.buy 63.09 €
Discover English 3 Učebnice Jayne Wildman / Libro In brossura
common.buy 20.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?