Robbert Krebbers – författare
Visar alla böcker från författaren .
3 produkter
3 produkter
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
Häftad, Engelska, 2024
1 829 kr
Skickas inom 10-15 vardagar
Del 16501 - Lecture Notes in Computer Science
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, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar
Del 16502 - Lecture Notes in Computer Science
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, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar