Информация о книге

354066579X

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Прикладное программное обеспечение » Системы автоматического проектирования » Introduction to Process Algebra (Texts in Theoretical Computer Science)

Brauer W., Fokkink W., Fokkink W., Rozenberg G., Salomaa A., Introduction to Process Algebra (Texts in Theoretical Computer Science)

, 354066579X


Описание книги

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

Поделиться ссылкой на книгу




Об авторе

Brauer W.

Fokkink W.

Fokkink W.

Rozenberg G.

Salomaa A.


Последние поступления в рубрике "Системы автоматического проектирования"



КОМПАС-3D для школьников. Черчение и компьютерная графика. Учебник КОМПАС-3D для школьников. Черчение и компьютерная графика. Учебник Баранова И.В.

Учебное пособие предназначено для учащихся общеобразовательных учебных заведений, изучающих черчение и компьютерную графику. Учебная версия системы КОМПАС-ЗDLT входит в состав Стандартного базового пакета программного обеспечения Первая Помощь,......

AutoCAD 2020. Полное руководство AutoCAD 2020. Полное руководство Жарков Н.В.

Данная книга представляет собой превосходное практическое руководство по AutoCAD 2020. Предназначена всем, кто хочет освоить работу с этой программой и научиться чертить и проектировать на компьютере. Написана известным автором-профессионалом, имеющим......

AutoCAD AutoCAD Полещук Н.К.

Книга предназначена для освоения методики создания двумерных объектов и трехмерных моделей в системе AutoCAD. Охвачены все последние версии, начиная с 2015-й. Продемонстрированы подходы к созданию графических документов и технология стилей (текста,......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Brauer W., Fokkink W., Fokkink W., Rozenberg G., Salomaa A., Introduction to Process Algebra (Texts in Theoretical Computer Science) в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.