Da: preigu, Osnabrück, Germania
EUR 86,20
Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. All About Maude - A High-Performance Logical Framework | How to Specify, Program, and Verify Systems in Rewriting Logic | Manuel Clavel (u. a.) | Buch | xxii | Englisch | 2007 | Springer | EAN 9783540719403 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.