Research Catalog

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

Title
All about Maude-a high-performance logical framework : how to specify, program, and verify systems in rewriting logic / Manuel Clavel [and others].
Author
Clavel, Manuel, 1969-
Publication
Berlin ; New York : Springer, 2007.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.9.L63 C53 2007gOff-site

Holdings

Details

Additional Authors
  • Durán, Francisco
  • Eker, Steven
  • Lincoln, Patrick
  • Martí-Oliet, N. (Narciso)
Description
xxii, 794 pages : illustrations; 24 cm +e 1 CD-ROM (4 3/4 in.)
Subject
  • Computer logic
  • Rewriting systems (Computer science)
  • Human information processing
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 9783540719403
  • 3540719407
OCLC
  • 163584035
  • ocn163584035
  • SCSB-5356984
Owning Institutions
Columbia University Libraries