Online Bücher bei 1Advd.ch bestellen

Lawrence C. Paulson

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Autor von:
	Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Buch) Sprache: English Veröffentlichung: April 2002 (Auf Bestellung) Einband: Kartoniert	SFr. 84.00 bestellen
	Isabelle: A Generic Theorem Prover (Buch) Sprache: English Veröffentlichung: Juli 1994 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Seite 1 von 1