Automated Theorem Proving in Software Engineering by D. Loveland (English) Hardc
63,29 €
… 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:
