Verification, Model Checking, and Abstract Interpretation

. Ed(s): McMillan, Kenneth; Rival, Xavier

ISBN 10: 3642540120 ISBN 13: 9783642540127
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por Kennys Bookstore, Olney, MD, Estados Unidos de America

Vendedor de AbeBooks desde 9 de octubre de 2009

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa blanda

Condición: Nuevo

Precio:
EUR 86,71
EUR 8,94 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Añadir al carrito