Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão

ISBN 10: 1447175573 ISBN 13: 9781447175575
Edité par Springer, 2026
Langue: anglais
Etat : Neuf Couverture souple

Vendu par Majestic Books, Hounslow, Royaume-Uni

Vendeur AbeBooks depuis 19 janvier 2007

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

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Etat : Neuf

Prix:
EUR 103,23
Expédition à EUR 7,59
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponible(s)

Ajouter au panier