4 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
4 results

Your search for Robbert Krebbers

  1. Cover: Logics and Type Systems in Theory and Practice - Springer
    Venanzio Capretta | Robbert Krebbers | Freek Wiedijk
    Logics and Type Systems in Theory and Practice
    Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
    05/2024
    Springer
    9783031617164 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  2. Cover: Programming Languages and Systems - Springer
    Robbert Krebbers
    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
    04/2026
    Springer
    9783032227225 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  3. Cover: Programming Languages and Systems - Springer
    Robbert Krebbers
    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
    04/2026
    Springer
    9783032227195 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  4. Cover: Logics and Type Systems in Theory and Practice - Springer
    Venanzio Capretta | Robbert Krebbers | Freek Wiedijk
    Logics and Type Systems in Theory and Practice
    Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
    05/2024
    Springer
    9783031617157 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €139.09
    Shipment within 15-20 days