libcats.org
Главная

All about Maude.. a high-performance logical framework

Обложка книги All about Maude.. a high-performance logical framework

All about Maude.. a high-performance logical framework

, , , , , ,

This 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.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Ремонт импортных телевизоров

Автор: , Автор:
Категория: civil, civil, hardware
Размер книги: 5.24 Mb

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

Быль-сказка о карандашах и красках

Автор:
Категория: Children
Размер книги: 5.81 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

'Фэн-Гиль-Дон' - No 8

Автор:
Категория: Публицистика
Размер книги: 23 Kb

Тайные маршруты славян

Автор:
Категория: society, society, history
Размер книги: 18.20 Mb

Klatwa Prometeusza

Автор:
Категория: fiction
Размер книги: 2.05 Mb

Rottweiler Rescue

Автор:
Категория: fiction
Размер книги: 151 Kb

Hungry Like the Wolf

Автор:
Категория: fiction
Размер книги: 1.34 Mb

The Flight of the Eisenstein

Автор:
Категория: fiction
Размер книги: 860 Kb

Attila The Hun

Автор:
Категория: fiction
Размер книги: 752 Kb

COLD DEATH

Автор:
Категория: fiction
Размер книги: 293 Kb

Say That Again

Автор:
Категория: fiction
Размер книги: 61 Kb