Freek Wiedijk | Booky.fi

Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceed

Wiedijk, Freek; Maler, Oded; Pnueli, Amir
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

100,90 €

The Seventeen Provers of the World - Foreword by Dana S. Scott

Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

56,10 €

Types for Proofs and Programs - Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Sele

Geuvers, Herman; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

51,10 €

Intelligent Computer Mathematics - 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Con

Autexier, Serge; Campbell, John; Rubio, Julio; Sorge, Volker; Suzuki, Masakazu; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proce

Van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

51,10 €

Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Capretta, Venanzio; Krebbers, Robbert; Wiedijk, Freek
Springer
2024
Pehmeäkantinen kirja

130,80 €