types for proofs and programs,international conference, types 2007, cividale del friuli, italy, may 2-5, 2007, revised selected pa
Marino (Edt) Miculan (Author) · springer-verlag new york inc · Physical Book
$ 52.09
$ 54.99
You save: $ 2.90
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.