Buy Used and New Freek Wiedijk Books

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers: 2646 (Lecture Notes in Computer Science)

by Herman Geuvers,Freek Wiedijk

ISBN 13: 9783540140313

Format: Paperback (344 pages)
Publisher: Springer
Published: 28 Apr 2003

Save for later

The Seventeen Provers of the World: Foreword by Dana S. Scott: 3600 (Lecture Notes in Computer Science)

by Freek Wiedijk,Dana S. Scott

ISBN 13: 9783540307044

Format: Illustrated (180 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later