Ergebnisse filtern
-
- 5
- 3
-
- 3
- 1
- 2
- 2
-
- 3
- 4
- 1
-
- 1
- 7
-
- 8
-
- 8
-
- 8
-
Barthe / Pardo / Schneider Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24689-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dubhashi / Panconesi / Schneider Turing's Children
How His Ideas Have Shaped the Modern WorldErscheinungsjahr 2026Verlag: Association for Computing MachineryISBN: 979-8-4007-3175-4Medium: Buch82,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barthe / Pardo / Schneider Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-24690-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Dubhashi / Panconesi / Schneider Turing's Children
How His Ideas Have Shaped the Modern WorldErscheinungsjahr 2026Verlag: Association for Computing MachineryISBN: 979-8-4007-3177-8Medium: Buch64,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dubhashi / Panconesi / Schneider Turing's Children
How His Ideas Have Shaped The Modern WorldErscheinungsjahr 2026Verlag: Association for Computing MachineryISBN: 979-8-4007-3174-7Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection34,99 € (inkl. MwSt.)
sofort verfügbar -
Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering
Languages, Methods, Application Domains1. Auflage 2022Verlag: SpringerISBN: 978-3-030-38802-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering
Languages, Methods, Application DomainsErscheinungsjahr 2022Verlag: Springer International PublishingISBN: 978-3-030-38800-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar -
Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering
Languages, Methods, Application Domains1. Auflage 2022Verlag: SpringerISBN: 978-3-030-38799-0Medium: 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