booktheque

Interactive Theorem Proving

Marko Van Eekelen, Herman Geuvers, Julien Schmaltz · 2011

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2011
Publisher
Springer
Editions
1
Pages
396
ISBN
9783642228643

Data source: Wikidata

More by Marko Van Eekelen

Foundational and Practical Aspects of Resource Analysis
Marko Van Eekelen · 2016