Ergebnisse filtern
-
- 7
- 1
-
- 1
- 1
- 1
- 2
- 1
- 1
- 1
-
- 1
- 2
- 4
- 1
-
- 5
- 3
-
- 8
-
- 8
-
- 8
Mathematik | Informatik
-
Talcott / Arbab Coordination Models and Languages
5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43410-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sieg / Sommer / Talcott Reflections on the Foundations of Mathematics
Essays in Honor of Solomon FefermanErscheinungsjahr 2020Verlag: Cambridge University PressISBN: 978-1-316-99881-6Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)128,99 € (inkl. MwSt.)
sofort verfügbar -
Lee / Talcott / Mousavi Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th BirthdayErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-85133-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martí-Oliet / Talcott / Ölveczky Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23164-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heinrich / Zschaler / Durán Composing Model-Based Analysis Tools
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81914-9Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heinrich / Zschaler / Durán Composing Model-Based Analysis Tools
1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-81917-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nigam / Ban Kirigin / Talcott Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-62076-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71940-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort