LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €

Author Johann M. Schumann

2 products
Binding

1
1
Price

Availability

1
1
Date of issue

?
Automated Theorem Proving in Software Engineering Johann M. Schumann / Hardback
common.buy 57.91 €
Automated Theorem Proving in Software Engineering Johann M. Schumann / Paperback
common.buy 49.91 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?