Books by Johann Schumann
No products found matching the selection.
-20%
Automated Theorem Proving in High-Quality Software Design
Johann Schumann, Nasa Technical Reports Server (Ntrs)
€20.40
€25.50
-20% with code BOOKS
In stock at our supplier