All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Steven EkerNarciso Martí-OlietJose MeseguerFrancisco DuránPatrick LincolnManuel Clavel
All About Maude - A High-Performance Logical Framework
2007ISBN 9783540719403
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra