Formal Verification of Object-Oriented Software

. Ed(s): Beckert, Bernhard; Marche, Claude

ISBN 10: 3642180698 ISBN 13: 9783642180699
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011
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,29
EUR 8,91 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 3 disponibles

Añadir al carrito