Verwandte Artikel zu Isabelle: A Generic Theorem Prover (Lecture Notes in...
Suchergebnisse für Isabelle: A Generic Theorem Prover (Lecture Notes in...
Beispielbild für diese ISBN
Isabelle : A Generic Theorem Prover
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 12142709-6
Gebraucht kaufen
EUR 48,46
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar