Ergebnisse filtern
-
- 5
- 3
-
- 2
- 6
-
- 5
- 3
-
- 2
- 6
-
- 8
-
- 8
-
- 8
-
Junges / Katz 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 IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22751-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Junges / Katz 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 IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22748-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75783-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar -
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75775-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar -
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75777-8Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75774-7Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75778-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar -
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75782-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort