|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Convex Analysis and Variational ProblemsАвтор: Ivar Ekeland, Автор: Roger TémamКатегория: science_books, math
Размер книги: 33.06 Mb
The Fall into Eden: Landscape and Imagination in California (Cambridge Studies in American Literature and Culture)Автор: David WyattКатегория: Образование
Размер книги: 2.18 Mb
Allgemeine BWL. Betriebswirtschaftliches Wissen für kaufmännische Berufe – Schritt für Schritt, 2. AuflageАвтор: Birga Döring, Автор: Tim Döring, Автор: Wilfried Giesler, Автор: Wolfgang Harmgardt, Автор: Regina Kühn
Размер книги: 16.91 Mb
Priceless: How I Went Undercover to Rescue the World's Stolen TreasuresАвтор: Wittman Robert K, Автор: Shiffman JohnКатегория: fiction
Размер книги: 1.87 Mb
|
|
|