Produktinfo
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
von Nipkow, Tobias, Lawrence C. Paulson and Markus Wenzel
Springer
9783540433767
Jahr: 2002
218 Seiten
Broschiert
Bestellnummer: 2197771
Beschreibung
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 - ein Shop
des Versandantiquariats
Petra Gros