Formal Methods of Program Verification and Specification

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

ISBN 10: 0133288072 ISBN 13: 9780133288070
Edité par Prentice-Hall, 1982
Langue: anglais
Etat : Occasion - Assez bon Couverture rigide

Vendu par Reader's Corner, Inc., Raleigh, NC, Etats-Unis

Honoris Librarius
Vendeur AbeBooks depuis 11 janvier 2000

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

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture rigide

Etat : Occasion - Assez bon

Prix:
EUR 9,63
EUR 4,67 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier