Freek Wiedijk – författare

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

6 produkter

Kategorier

6 produkter

Del 14560
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
AvVenanzio Capretta,Robbert Krebbersm. fl.
Häftad, Engelska, 2024
1 839 kr
Skickas inom 10-15 vardagar
Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
AvFreek Wiedijk,Oded Malerm. fl.
Häftad, Engelska, 2003
1 459 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
AvHerman Geuvers,Freek Wiedijk
Häftad, Engelska, 2003
709 kr
Skickas inom 10-15 vardagar
Seventeen Provers of the World
Foreword by Dana S. Scott
AvFreek 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
AvSerge Autexier,John Campbellm. 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
AvMarko Van Eekelen,Herman Geuversm. fl.
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar