Books by Freek Wiedijk

Cover of The Seventeen Provers of the World

The Seventeen Provers of the World

by Freek Wiedijk

2006

Cover of Types for Proofs and Programs

Types for Proofs and Programs

by Herman Geuvers, Freek Wiedijk

2003

Cover of Hybrid systems

Hybrid systems

by Oded Maler, Amir Pnueli, Freek Wiedijk

2003

Cover of Hybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

by Freek Wiedijk, Oded Maler, Amir Pnueli

2003

Cover of Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice

by Venanzio Capretta, Robbert Krebbers, Freek Wiedijk

2024

Can't find the book you're looking for? Let us know — it helps us improve.