Sebastian Junges – författare
Visar alla böcker från författaren .
5 produkter
5 produkter
Del 15261 - Lecture Notes in Computer Science
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Häftad, Engelska, 2024
1 079 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2024
1 009 kr
Skickas inom 10-15 vardagar
Del 15260 - Lecture Notes in Computer Science
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Häftad, Engelska, 2024
1 149 kr
Skickas inom 10-15 vardagar
Del 16506 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 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
579 kr
Skickas inom 10-15 vardagar
579 kr
Skickas inom 10-15 vardagar