Venanzio Capretta – författare
Visar alla böcker från författaren Venanzio Capretta. Handla med fri frakt och snabb leverans.
2 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
1420 kr
Lägg i varukorg
This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.Herman Geuvers is a full professor at Radboud University Nijmegen and holds a part-time professorship at Eindhoven University of Technology. He received …
Logics and Type Systems in Theory and Practice
Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Av Freek Wiedijk, Robbert Krebbers m. fl.
E-bok, 2024
1785 kr
Lägg i varukorg
This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University Nijmegen and holds a part-time professorship at Eindhoven University of Technology. He received …
