Clavel, Manuel.
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic / [electronic resource] : by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4350 0302-9743 ; . - Lecture Notes in Computer Science, 4350 .
9783540719991
10.1007/978-3-540-71999-1 doi
Computer science.
Software engineering.
Artificial intelligence.
Computer Science.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
QA76.6-76.66
005.11
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic / [electronic resource] : by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4350 0302-9743 ; . - Lecture Notes in Computer Science, 4350 .
9783540719991
10.1007/978-3-540-71999-1 doi
Computer science.
Software engineering.
Artificial intelligence.
Computer Science.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
QA76.6-76.66
005.11