Theorem Proving with the Real Numbers by John Harrison (English) Paperback Book
122,53 €
1.1 Symbolic computation. - 1.2 Verification. - 1.3 Higher order logic. - 1.4 Theorem proving vs. model checking. - 1.5 Automated vs. interactive theorem proving. - 1.6 The real numbers. - 1.7 Concluding remarks.
Jetzt bei Ebay:
