Hoppa till sidans huvudinnehåll

Sebastian Junges - Böcker

Visar alla böcker från författaren Sebastian Junges.
5 produkter

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

AvNils Jansen,Sebastian Junges,Benjamin Lucien Kaminski,Christoph Matheja,Thomas Noll,Tim Quatmann,Mariëlle Stoelinga,Matthias Volk,Marielle Stoelinga

Häftad, Engelska, 2024

939 kr

Skickas inom 10-15 vardagar

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

AvNils Jansen,Sebastian Junges,Benjamin Lucien Kaminski,Christoph Matheja,Thomas Noll,Tim Quatmann,Mariëlle Stoelinga,Matthias Volk,Marielle Stoelinga

Häftad, Engelska, 2024

999 kr

Skickas inom 10-15 vardagar

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

AvNils Jansen,Sebastian Junges,Benjamin Lucien Kaminski,Christoph Matheja,Thomas Noll,Tim Quatmann,Mariëlle Stoelinga,Matthias Volk,Marielle Stoelinga

Häftad, Engelska, 2024

1 059 kr

Skickas inom 10-15 vardagar

  • Nyhet

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

AvSebastian Junges,Guy Katz

Häftad, Engelska, 2026

939 kr

Kommande

  • Nyhet

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

AvSebastian Junges,Guy Katz

Häftad, Engelska, 2026

939 kr

Kommande