Paperback Book

Varastossa iMusicilla

Näytä loppuunmyydyt julkaisut

Julkaisut sisältäen Herman Geuvers

Cover for Herman Geuvers · Types for Proofs and Programs: Second International Workshop, Types 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2003)
Paperback Book
Types for Proofs and Programs: S...
Herman Geuvers