libcats.org
Главная

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues)

Обложка книги Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues)

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture Notes ... Computer Science and General Issues)

, , , ,
This book constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. The 26 full papers presented were carefully reviewed and selected from 60 submissions. The book also contains two invited talks and abstracts of 18 short papers which address work in progress, industrial experience reports and tool descriptions. The papers cover recent advances in four equally rigorous methods for software and hardware development: abstract state machines (ASM), Alloy, B and Z. They share a common conceptual framework, centered around the notions of state and operation, and promote mathematical precision in the modeling, verification and construction of highly dependable systems.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Ключ к сверхсознанию

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

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Нолс и можжевельник

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

Protein-ligand Interactions: Methods and Applications

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

Praying to Get Results

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

The Depression and New Deal: A History in Documents (Pages from History)

Автор:
Категория: История
Размер книги: 18.70 Mb

Equity Markets and Valuation Methods

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

Practical Lubrication for Industrial Facilities

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