| Type |  Book |
| ชื่อเรื่อง | All about maude-a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel...[et al.] |
| ISBN | 3540719407 |
| | 9783540719403 |
| พิมพลักษณ์ | Berlin : Springer-Verlag, c2007 |
| รูปเล่ม | 794 p. : ill. + 1 Computer laser optical disc (4 3/4) |
| หัวเรื่อง | Computer logic |
| | Human information processing |
| | Rewriting systems (Computer science) |