Formal Methods of Program Verification and Specification

Berg, H. K., W. R. Franta, T. G. Moher, W. E. Boebert

Editorial: UMN, Honeywell and Institut fur Technische Informatik, 1979
Condición: Usado - Aceptable Encuadernación de tapa blanda

Vendido por Mythos Center Books, Frontenac, MN, Estados Unidos de America

Vendedor de AbeBooks desde 30 de enero de 2012

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


Usado - Encuadernación de tapa blanda

Condición: Usado - Aceptable

Precio:
EUR 26,30
Envío por EUR 3,83
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito