Robbert Krebbers – författare
Visar alla böcker från författaren Robbert Krebbers.
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 789 kr
Skickas inom 10-15 vardagar
- Nyhet
- Nyhet
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
569 kr
Skickas inom 10-15 vardagar