Sebastian Junges – författare
Visar alla böcker från författaren Sebastian Junges.
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 089 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2024
1 019 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 159 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
589 kr
Skickas inom 10-15 vardagar
Del 16505 - 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 I
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar