Robbert Krebbers – författare
Visar alla böcker från författaren Robbert Krebbers.
3 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
Programming Languages and Systems
35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I
Häftad, 2026
599 kr
Lägg i varukorg
Programming Languages and Systems
35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part II
Häftad, 2026
599 kr
Lägg i varukorg