Ergebnisse filtern
-
- 3
-
- 3
-
- 3
- 3
-
- 3
-
- 3
-
- 3
-
- 3
-
- 3
Technische Wissenschaften
-
Gurfinkel / Heule 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 IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90642-8Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gurfinkel / Heule 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 IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90652-7Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gurfinkel / Heule 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 IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90659-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
