Rāda  Paperback Book   ·   Rādīt visu
Rādīt nepieejamās preces

izlaidumi no 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