Cover Image

All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic /

Show other versions (1)
Bibliographic Details
Main Author: Clavel, Manuel, 1969-
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin : Springer-Verlag, [2007]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science. 4350.
Subjects:
Computer logic.
Human information processing.
Rewriting systems (Computer science)
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:xxii, 797 pages : illustrations
Bibliography:Includes bibliographical references and indexes.
ISBN:3540719997
9783540719991
ISSN:0302-9743 ;
DOI:10.1007/978-3-540-71999-1