Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) - Softcover

Paulson, Lawrence C.

9780387582443: Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)

Softcover

ISBN 10: 0387582444 ISBN 13: 9780387582443

Verlag: Springer Verlag, 1994

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 48,02

0 Neu

Details zur Ausgabe

Verlag: Springer Verlag
Erscheinungsdatum: 1994
Sprache: Englisch
ISBN 10: 0387582444
ISBN 13: 9780387582443
Einband: Taschenbuch
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar

Weitere beliebte Ausgaben desselben Titels

9783540582441: Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)

Vorgestellte Ausgabe

ISBN 10: 3540582444 ISBN 13: 9783540582441
Verlag: Springer, 1994
Softcover

Suchergebnisse f�r Isabelle: A Generic Theorem Prover (Lecture Notes in...

Beispielbild f�r diese ISBN

Isabelle : A Generic Theorem Prover

Paulson, Lawrence C.

Verlag: Springer, 1994

ISBN 10: 0387582444 ISBN 13: 9780387582443

Gebraucht Softcover

Anbieter: Better World Books, Mishawaka, IN, 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

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 48,02

Versand gratis
Versand innerhalb von USA

Anzahl: 1 verf�gbar

In den Warenkorb