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
£ 116.12
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.