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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Kenneth McMillan
Codice Libristo: 02340914
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, gennaio 2014
This book constitutes the refereed proceedings of the 15th International Conference on Verification,... Descrizione completa
? points 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Okosystem Darm J. Müller / Libro In brossura
common.buy 67.89 €
Kants Terminus des Weltbürgertums. Ein infantiles Postulat oder eine realistische Idee? Sarah Jungnitz / Libro In brossura
common.buy 7.99 €
Au pays des fées Marlène Jobert / Libro Rigido
common.buy 9.79 €
Je ne veux pas mourir idiot Georges Wolinski / Libro In brossura
common.buy 10.49 €
Educación emprendedora Masgrau Juanola / Libro In brossura
common.buy 15.69 €
In preparazione
Das Assessorexamen im Öffentlichen Recht Michael Ronellenfitsch / Libro In brossura
common.buy 34.09 €
Hexen und Magie Johannes Dillinger / Libro In brossura
common.buy 20.89 €
No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Libro In brossura
common.buy 15.19 €

This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical 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 Verification, Model Checking, and Abstract Interpretation
Autore Kenneth McMillan, Xavier Rival
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 493
EAN 9783642540127
ISBN 3642540120
Codice Libristo 02340914
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 7664
Dimensioni 155 x 235 x 28

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 > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
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 > 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

Subnational Population Estimates David A. Swanson / Libro Rigido
common.buy 163.19 €
Forest Management for Climate Change Mitigation Yixiang Wang / Libro Rigido
common.buy 271.79 €
London and Westminster Improved, Illustrated by Plans: To Which is Prefixed, a Discourse on Publick Magnificence, With Observations on the State of Ar Samuel Johnson / Libro In brossura
common.buy 16.29 €
Tapping the Power of PowerPoint for Medical Posters and Presentations Anand J. Thakur / Libro In brossura
common.buy 97.39 €
Human Experiment David Carmichael / Libro Rigido
common.buy 164.69 €
Living Under the Threat of Earthquakes Rameshwar Adhikari / Libro In brossura
common.buy 181.29 €
History of Judaism Martin Goodman / Libro In brossura
common.buy 14.99 €
Follow Me Adult Colouring Book Esther Pincini / Libro In brossura
common.buy 14.39 €
Spatial Modeling Principles in Earth Sciences Zekai Sen / Libro In brossura
common.buy 130.79 €
Naturalizations of Mexican Americans John P Schmal / Libro In brossura
common.buy 30.29 €
New Directions in Wireless Communications Research Vahid Tarokh / Libro Rigido
common.buy 150.19 €
Atlas of Rectal Endosonography John Beynon / Libro In brossura
common.buy 45.49 €
Anecdotal Theory Jane Gallop / Libro In brossura
common.buy 32.29 €
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Libro In brossura
common.buy 178.19 €
Perfect Pet for Peyton Mr Rick Osborne / Libro Rigido
common.buy 11.49 €
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Libro In brossura
common.buy 151.99 €
7 Spiritual Truths and the Lies That Hide Them Denise Burrows / Libro In brossura
common.buy 16.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?