Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc

Dines Bjorner, C. A. R. Hoare et Hans Langmaack

ISBN 10: 3540525130 ISBN 13: 9783540525134
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
Idioma: Inglés
Condición: Usado - Muy bueno Encuadernación de tapa blanda

Vendido por Ammareal, Morangis, Francia

Vendedor de AbeBooks desde 29 de agosto de 2016

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 - Muy bueno

Precio:
EUR 5,84
EUR 20,50 shipping
Se envía de Francia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito