|
libcats.org
All about Maude.. a high-performance logical frameworkManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn TalcottThis monograph gives a comprehensive account of Maude, a language and system based on rewriting logic. Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Maude is used in many institutions around the world for teaching, research, and formal modeling and analysis of concurrent and distributed systems. Many examples are used throughout the book to illustrate the main ideas, features, and uses of Maude. The book comes with a CD-ROM containing the complete Maude 2.3 software distribution (including source code), a pdf version of this monograph, and the executable Maude code for all the examples in the book.
Скачать книгу бесплатно (pdf, 5.51 Mb)
Читать «All about Maude.. a high-performance logical framework» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
![]() Сто лет одиночестваАвтор: Маркес Габриэль ГарсияКатегория: Современная проза
Размер книги: 1.46 Mb
![]() Профессиональная разработка в системе 1С Предприятие 8Автор: Габец А.П., Автор: Гончаров Д.И., Автор: Радченко М.Г.(ред.)Категория: Офисные программы бизнес-приложения
Размер книги: 18.19 Mb
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
![]() Principles of neural science (Принципы нейробиологии)Автор: Eric Kandel, Автор: James Schwartz, Автор: Thomas JessellКатегория: Биология биохимия химия Учебник
Размер книги: 66.19 Mb
![]() The Semitic Languages: An International Handbook (Handb Cher Zur Sprach- Und Kommunikationswissenschaft / Hand)Автор: Stefan Weninger, Автор: Geoffrey Khan, Автор: Michael P. Streck, Автор: Janet C. E. Watson
Размер книги: 17.15 Mb
![]() Materials Science and Engineering An Introduction,9th EditionАвтор: William D. Callister Jr., Автор: David G. Rethwisch
Размер книги: 32.11 Mb
Только что пользователи скачали эти книги:
![]() The Science of Programming: Texts and Monographs in Computer ScienceАвтор: David GriesКатегория: Computer Science, Computer Science
Размер книги: 2.55 Mb
![]() Molecular Cloning: A Laboratory ManualАвтор: Joseph Sambrook, Автор: David W. Russel
Размер книги: 123.37 Mb
![]() Matematicas Financieras Para Toma De Decisiones EmpresarialesАвтор: Aching GuzmanКатегория: fiction
Размер книги: 5.72 Mb
|
|