| | Books 1 - 2 of 2 | Previous | Next | 
|  | | Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) (1st Edition)
by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Paperback, 218 Pages, Published 2002 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Verifikation und Validierung für die Simulation in Produktion und Logistik: Vorgehensmodelle und Techniken (VDI-Buch) (1st Edition)
by Markus Rabe, Sven Spieckermann, Sigrid Wenzel
Paperback, 250 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 2 of 2 | Previous | Next |
|