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

Web Site CiNii Available at 5 libraries

Bibliographic Information

Title
"All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic"
Statement of Responsibility
Manuel Clavel ... [et al.]
Publisher
  • Springer
Publication Year
  • c2007
Book size
24 cm.

Search this Book/Journal

Notes

Includes bibliographical references and indexes

HTTP:URL=http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4350

"Tutorial"--Cover

Related Books

See more

Details 詳細情報について

Back to top