Ergebnisse filtern
-
- 2
- 2
-
- 1
- 1
- 2
-
- 1
- 1
- 2
-
- 3
- 1
-
- 4
-
- 4
-
- 1
-
- 4
-
Demri Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking ProblemErscheinungsjahr 2026Verlag: Springer International PublishingISBN: 978-3-032-11885-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Demri / Kapur / Weidenbach Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08586-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Demri / Kapur / Weidenbach Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-08587-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Demri / Goranko / Lange Temporal Logics in Computer Science
Finite-State SystemsErscheinungsjahr 2016Verlag: Cambridge University PressISBN: 978-1-107-02836-4Medium: Buch135,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort