Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)

Marco Bernardo, Alessandro Cimatti

ISBN 10: 3540343040 ISBN 13: 9783540343042
Editorial: Springer Berlin Heidelberg 2010-06-02, 2010
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por Chiron Media, Wallingford, Reino Unido

Vendedor de AbeBooks desde 2 de agosto de 2010

Calificación del vendedor: 5 de 5 estrellas Valoración 5 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 56,83
EUR 17,89 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

Añadir al carrito