Ergebnisse filtern
-
- 3
- 2
-
- 2
- 2
- 1
-
- 1
- 3
- 1
-
- 5
-
- 5
-
- 5
-
- 5
-
Kozen / Shankland Mathematics of Program Construction
7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings2004Verlag: SpringerISBN: 978-3-540-27764-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Kozen / Shankland Mathematics of Program Construction
7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22380-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kozen / de Queiroz Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-99535-4Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kozen / de Queiroz Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, ProceedingsErscheinungsjahr 2025Verlag: Springer International PublishingISBN: 978-3-031-99536-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar -
Harel / Kozen / Tiuryn Dynamic Logic
Erscheinungsjahr 2000Verlag: MIT PressISBN: 978-0-262-52766-8Medium: Buch55,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort