Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)

ISBN 10: 3642317618 ISBN 13: 9783642317613
Editorial: Springer, 2012
Idioma: Inglés
Condición: Usado - Como Nuevo Encuadernación de tapa blanda

Vendido por GreatBookPrices, Columbia, MD, Estados Unidos de America

Vendedor de AbeBooks desde 6 de abril de 2009

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


Usado - Encuadernación de tapa blanda

Condición: Usado - Como Nuevo

Precio:
EUR 54,29
Envío por EUR 2,23
Se envía dentro de Estados Unidos de America

Cantidad disponible: 15 disponibles

Añadir al carrito