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

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

30 giorni per il reso

I clienti hanno acquistato anche

No Me Maltrates = Do Not Mistreat Me Bernardo Stamateas / Libro In brossura
common.buy 19.09 €
Hexen und Magie Johannes Dillinger / Libro In brossura
common.buy 24.79 €
Je ne veux pas mourir idiot Georges Wolinski / Libro In brossura
common.buy 13.49 €

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 192.99 €
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 19.99 €
Human Experiment David Carmichael / Libro Rigido
common.buy 190.59 €
I migliori
History of Judaism Martin Goodman / Libro In brossura
common.buy 18.79 €
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 159.89 €
Naturalizations of Mexican Americans John P Schmal / Libro In brossura
common.buy 38.19 €
Biometric Authentication: An Hybrid Face Recognition System Model Adebayo Kolawole John / Libro In brossura
common.buy 45.79 €
Perfect Pet for Peyton Mr Rick Osborne / Libro Rigido
common.buy 14.99 €
Circulating Nucleic Acids in Plasma and Serum V Peter B. Gahan / Libro In brossura
common.buy 201.29 €
Anecdotal Theory Jane Gallop / Libro In brossura
common.buy 35.99 €
Atlas of Rectal Endosonography John Beynon / Libro In brossura
common.buy 53.79 €
New Directions in Wireless Communications Research Vahid Tarokh / Libro Rigido
common.buy 173.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?