Clavel, Manuel,  1969- <br/><br/>
All about Maude-- a high-performance logical framework  how to specify, program and verify systems in rewriting logic /  [electronic resource] : 
Manuel Clavel ... [et al.]. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2007. 
 - xxii, 797 p. :  ill., digital. 
 - Lecture notes in computer science,  4350  0302-9743 ; LNCS sublibrary. .
<br/><br/>Includes bibliographical references and indexes. 
<br/><br/><label>ISBN: </label>9783540719991  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic.<br/>Rewriting systems (Computer science).<br/>Human information processing.