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 839 kr
Skickas inom 10-15 vardagar
Robbert Krebbers – författare
Visar alla böcker från författaren Robbert Krebbers.
3 produkter
3 produkter
- 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, 2026589 kr
Skickas inom 10-15 vardagar