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

Момент истины. В августе 44-го

Автор:
Категория: ИСТОРИЯ
Размер книги: 1.52 Mb

Mein Kampf

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

Michael McCollum - Maker 1 - Lifeprobe

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

levine

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

Boy Wanted

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

Molecular Cloning: A Laboratory Manual

Автор: , Автор:
Размер книги: 123.37 Mb

Tom Purdom-Dragon Drill

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

Schattental

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

Matematicas Financieras Para Toma De Decisiones Empresariales

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

The Midnight Mayor

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

Hawaii's Story by Hawaii's Queen

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