Ergebnisse filtern
-
- 1
-
- 1
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
Mathematik | Informatik
-
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