Eruditor.com > Peter Dybjer

Peter Dybjer

Types For Proofs And Programs

International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Editor: Peter Dybjer
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1995
Paperback, 212 pages

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Fishes (ichthyology)

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |