Freek Wiedijk – författare
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, 2024
1849 kr
Lägg i varukorg
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, 2003
1469 kr
Lägg i varukorg
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, 2003
719 kr
Lägg i varukorg
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, 2008
739 kr
Lägg i varukorg
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, 2011
739 kr
Lägg i varukorg