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)

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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