Mostrando  Paperback Book   ·   Mostrar tudo
Mostrar itens não disponíveis

Lançamentos por 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