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.

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Gilles Barthe
Codice Libristo: 01655343
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, gennaio 2010
This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Le Coran expliqué aux jeunes Rachid Benzine / Libro In brossura
common.buy 12.99 €
Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck / Libro Rigido
common.buy 10.09 €
Burenkrieg (1899-1902) Burkhard Werner / Libro In brossura
common.buy 14.19 €
Augusto Giacometti Beat Stutzer / Libro In brossura
common.buy 44.89 €
Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan / Libro In brossura
common.buy 18.69 €
Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin / Libro In brossura
common.buy 32.19 €
Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche / Libro In brossura
common.buy 41.99 €
andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born / Libro In brossura
common.buy 16.89 €
Plansza dwustronna A4 ściąga Europa / Libro binding.
common.buy 1.79 €
Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik / Libro elettronico Adobe ePub DRM
common.buy 14.69 €
Joan Miro TBD / Libro Rigido
common.buy 40.89 €
Dawit Isaak Anisur Rahman / Libro In brossura
common.buy 25.99 €
UN HERISSON EMMANUELLE KECIR-LEPETIT / Libro Libro
common.buy 13.99 €
Jak jsem se (ne)stal agentem StB Jan Vaněček / Libro binding.
common.buy 3.69 €
Holašovice: Vesnická památková rezervace collegium / Libro Foglio
common.buy 13.09 €
Des petits mondes en leur début / Libro In brossura
common.buy 36.49 €
Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig / Libro Rigido
common.buy 53.19 €
Indische Reisebriefe Ernst Haeckel / Libro In brossura
common.buy 37.29 €
Integrierte Versorgung bei Demenzerkrankungen Lucie Barth / Libro In brossura
common.buy 32.79 €
Sang famille Michel Bussi / Libro In brossura
common.buy 13.69 €
Traite Du Jeu. Volume 1 BARBEYRAC-J / Libro In brossura
common.buy 31.29 €
Gottfried Keller Albert Köster / Libro In brossura
common.buy 26.09 €
de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J / Libro In brossura
common.buy 14.19 €
Iniciacion deportiva en la escuela Abadi / Libro In brossura
common.buy 29.39 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

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 Gilles Barthe, Manuel Hermenegildo
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 397
EAN 9783642113185
ISBN 3642113184
Codice Libristo 01655343
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 612
Dimensioni 155 x 235 x 23

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
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
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

Bio-Inspired Computing and Applications De-Shuang Huang / Libro In brossura
common.buy 57.79 €
Paleocene Faunas of the San Juan Basin, New Mexico: Transactions of the American Philosophical Society, New Series, V30 William Diller Matthew / Libro Rigido
common.buy 64.09 €
Changing Room Zhai Yongming / Libro In brossura
common.buy 19.89 €
Torn in the New Sa Bronwyn McIntosh / Libro In brossura
common.buy 24.89 €
English Physician's Guide or a Holy Guide V1 John Heydon / Libro Rigido
common.buy 56.69 €
Heterogeneity in Distributed Embedded Systems. From Programming Paradigms to Testing Tobias Baumgartner / Libro In brossura
common.buy 29.29 €
REASONABLE SERVICE WILLIAM PAG ROBERTS / Libro Rigido
common.buy 32.79 €
Corporations in Pennsylvania. Volume 2 of 2 Walter Murphy / Libro In brossura
common.buy 27.19 €
Seven Hours at the Ocean Ty Davis / Libro In brossura
common.buy 7.99 €
Mr. Balfour's Apologetics Critically Examined W. B. Columbine / Libro In brossura
common.buy 23.39 €
Entering the Healing Ground WELLER FRANCIS / Libro In brossura
common.buy 15.79 €
MCAS Math Workbook for Grade 7: Abundant Exercises and Two Full-Length MCAS Math Practice Tests Reza Nazari / Libro In brossura
common.buy 17.29 €
Two Dark Reigns Kendare Blake / Libro In brossura
common.buy 9.49 €
The Voice of the Pack Edison Marshall / Libro In brossura
common.buy 32.79 €
The BOOK of DEUS DESUM: The Abesnt or Missing God Nancy Phillips / Libro In brossura
common.buy 13.49 €
My Mom is a Construction Manager Princess Karibo / Libro In brossura
common.buy 27.89 €
Robert Rauschenberg and Surrealism Gavin Parkinson / Libro In brossura
common.buy 46.59 €
30 Great Books That Made History Aurell / Libro In brossura
common.buy 24.79 €
Think Starter Workbook with Online Practice Herbert Puchta / Libro Rigido
common.buy 11.19 €
Introduction To The Theory Of Probability, An Parimal Mukhopadhyay / Libro Rigido
common.buy 80.89 €
Anthems for Choirs 4 Christopher Morris / Pubblicazioni cartacee Note
common.buy 26.79 €
Get addicted to free-motion quilting Sheila Sinclair Snyder / Libro In brossura
common.buy 19.39 €
Mythic-Symbolic Language and Philosophical Anthropology D.M. Rasmussen / Libro In brossura
common.buy 107.29 €
History of the People's Republic of China, 1949-1976 Julia Strauss / Libro In brossura
common.buy 51.59 €

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?