Ergebnisse filtern
-
- 2
-
- 1
- 1
-
- 1
- 1
-
- 1
- 1
-
- 2
-
- 2
-
- 2
-
Clavel Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Neuausgabe 2000Verlag: CTR FOR STUDY OF LANG & INFOISBN: 978-1-57586-238-5Medium: Buch29,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting LogicErscheinungsjahr 2007Verlag: SpringerISBN: 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