interactive theorem proving,first international conference, itp 2010, edinburgh, uk, july 11-14, 2010, proceedings
Matt (Edt) Kaufmann (Author) · springer-verlag new york inc · Physical Book
$ 104.20
$ 109.99
You save: $ 5.79
Choose the list to add your product or create one New List
Go to My WishlistsDo you have a question about the book? Login to be able to add your own question.