Formal Methods of Program Verification and Specification

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

Edité par UMN, Honeywell and Institut fur Technische Informatik, 1979
Etat : Occasion - Satisfaisant Couverture souple

Vendu par Mythos Center Books, Frontenac, MN, Etats-Unis

Vendeur AbeBooks depuis 30 janvier 2012

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture souple

Etat : Occasion - Satisfaisant

Prix:
EUR 26,33
Expédition à EUR 3,83
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier