Marijn Heule – författare
Visar alla böcker från författaren Marijn Heule.
4 produkter
4 produkter
Del 15696 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I
Häftad, Engelska, 2025
589 kr
Skickas inom 10-15 vardagar
Del 15697 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II
Häftad, Engelska, 2025
589 kr
Skickas inom 10-15 vardagar
Del 15698 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III
Häftad, Engelska, 2025
589 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2015
929 kr
Skickas inom 10-15 vardagar