Hoppa till sidans huvudinnehåll

Freek Wiedijk - Böcker

Visar alla böcker från författaren Freek Wiedijk.
6 produkter

Logics and Type Systems in Theory and Practice

Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Av Venanzio Capretta, Robbert Krebbers m. fl

Häftad, Engelska, 2024

2 089 kr

Skickas inom 10-15 vardagar

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Av Freek Wiedijk, Oded Maler m. fl

Häftad, Engelska, 2003

1 439 kr

Skickas inom 10-15 vardagar

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Av Herman Geuvers, Freek Wiedijk

Häftad, Engelska, 2003

699 kr

Skickas inom 10-15 vardagar

Seventeen Provers of the World

Foreword by Dana S. Scott

Av Freek Wiedijk

Häftad, Engelska, 2006

769 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Av Serge Autexier, John Campbell m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Av Marko Van Eekelen, Herman Geuvers m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar