From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
Dominique Snyers; André Thayse
ISBN 10:
0387182179 ISBN 13:
9780387182179
Edité par Springer Verlag
Langue: anglais
Etat : Good
Couverture souple
Vendu par dsmbooks, Liverpool, Royaume-Uni
Vendeur AbeBooks depuis 28 septembre 2015
Ancien(s) ou d'occasion - Couverture souple
Etat : Good
Prix:
EUR 139,57
Autre devise
EUR 28,82
expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Quantité disponible : 1 disponible(s)
Ajouter au panier