Automated Theorem Proving in Software Engineering by Johann M. Schumann (English
65,08 €
… I most enjoyed its open, and necessary, criticism of common practice in the theorem proving community of ignoring the basic principles of software engineering …. It is a good systematic textbook that makes ATP more accessible to software engineers.
Jetzt bei Ebay:
