Concrete Semantics: With Isabelle/HOL

Nipkow, Tobias (Author)/ Klein, Gerwin (Author)

ISBN 10: 3319105418 ISBN 13: 9783319105413
Edité par Springer, 2015
Langue: anglais
Neuf(s) Etat : Brand New Couverture rigide

Vendu par Revaluation Books, Exeter, Royaume-Uni

Vendeur AbeBooks depuis 6 janvier 2003

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

Afficher tous les articles du vendeur


Neuf(s) - Couverture rigide

Etat : Brand New

Prix: EUR 120,29 Autre devise
EUR 11,58 expédition depuis Royaume-Uni vers France Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier