Image from Amazon.com
All about Maude-- a high-performance logical framework [electronic resource] : how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [et al.].
Series: Lecture notes in computer science ; 4350 | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: xxii, 797 p. : ill., digitalISBN:- 9783540719991
No physical items for this record
Includes bibliographical references and indexes.
There are no comments on this title.
Log in to your account to post a comment.