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
Out of StockDo you have a question about the book? Login to be able to add your own question.