Buy Used and New Freek Wiedijk Books

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540009139

Format: Paperback (558 pages)
Publisher: Springer
Published: 18 Mar 2003

Save for later

Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540851097

Format: Paperback (600 pages)
Publisher: Springer
Published: 16 Jul 2008

Save for later

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783642228629

Format: Paperback (394 pages)
Publisher: Springer
Published: 02 Aug 2011

Save for later

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