Product Information
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
by Nipkow, Tobias, Lawrence C. Paulson and Markus Wenzel
Springer
9783540433767
year: 2002
218 Seiten
Broschiert
order number: 2197771
description
Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel...) - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache.
books4less - a shop
from Versandantiquariat
Petra Gros