Ergebnisse filtern
-
- 2
- 2
-
- 2
- 2
-
- 2
- 2
- 4
- 2
-
- 3
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
Pichardie / Sighireanu Static Analysis
27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-65474-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar -
Pichardie / Sighireanu Static Analysis
27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-65473-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blazy / Paulin-Mohring / Pichardie Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39634-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Blazy / Paulin-Mohring / Pichardie Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39633-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort