Artículos relacionados a Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings - Tapa blanda

 
9783662460825: Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Tapa blanda
ISBN 10: 3662460823 ISBN 13: 9783662460825
Editorial: Springer, 2015

Esta edición ISBN ya no está disponible.

Sinopsis

Program verification.- Model checking.- Abstract interpretation.- Abstract domains.- Program synthesis.- Static analysis.- Deductive methods.- Program certification.- Error diagnosis.- Program transformation.- Hybrid and cyberphysical systems.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2015
Idioma
Inglés
ISBN 10 
3662460823
ISBN 13 
9783662460825
Encuadernación
Paperback
Número de páginas
488
Editor
D'Souza Deepak, Lal Akash, Larsen Kim Guldstrand
Contacto del fabricante
no disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783662460801: Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings: ... Computer Science and General Issues)

Edición Destacada

ISBN 10:  3662460807 ISBN 13:  9783662460801
Editorial: Springer, 2015
Tapa blanda