Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers . / Programming and Software Engineering)

Beckert, Bernhard (Editor) / Marché, Claude (Editor)

ISBN 10: 3642180698 ISBN 13: 9783642180699
Editorial: Springer, 2011
Idioma: Inglés
Condición: Nuevo Encuadernación de tapa blanda

Vendido por Revaluation Books, Exeter, Reino Unido

Vendedor de AbeBooks desde 6 de enero de 2003

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 76,43
EUR 11,46 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito