von Lawrence C. Paulson
Taschenbuch
EAN=ISBN-13: 978-3-540-58244-1
ISBN-10: 3-540-58244-4
Springer · 1994
|
|
von Lawrence C. PaulsonTaschenbuch
EAN=ISBN-13: 978-3-540-58244-1 ISBN-10: 3-540-58244-4 Springer · 1994 |
| Siehe auch: | ||
| 1994 | Paperback | Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) |