Hoppa till sidans huvudinnehåll

Freek Wiedijk - Böcker

Visar alla böcker från författaren Freek Wiedijk.
6 produkter
Del 14560 - Lecture Notes in Computer Science

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 179 kr

Skickas inom 10-15 vardagar
Del 2623 - Lecture Notes in Computer Science

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 459 kr

Skickas inom 10-15 vardagar
Del 2646 - Lecture Notes in Computer Science

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

719 kr

Skickas inom 10-15 vardagar

Seventeen Provers of the World

Foreword by Dana S. Scott

Av Freek Wiedijk

Häftad, Engelska, 2006

789 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

739 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

739 kr

Skickas inom 10-15 vardagar