Hoppa till sidans huvudinnehåll

Robbert Krebbers - Böcker

Visar alla böcker från författaren Robbert Krebbers.
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

AvVenanzio Capretta,Robbert Krebbersm. fl.

Häftad, Engelska, 2024

1 799 kr

Skickas inom 10-15 vardagar

  • Nyhet

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

AvRobbert Krebbers

Häftad, Engelska, 2026

579 kr

Skickas inom 10-15 vardagar

  • Nyhet

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

AvRobbert Krebbers

Häftad, Engelska, 2026

579 kr

Skickas inom 10-15 vardagar