Rigorous State-Based Methods

Name: Rigorous State-Based Methods
Brand: Springer, Berlin
SKU: 9783032267511
Price: 85.17 EUR
Availability: InStock

12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings

Автор: Fuyuki Ishikawa, Alcino Cunha

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад в ограничено количество

Изпращаме след 13-18 дни

85.17 € 166.58 лв

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous Stat...

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

Автор

Fuyuki Ishikawa, Alcino Cunha

Език

Английски език

Корици

Книга - С меки корици

Издадена

2026

страници

320

EAN

9783032267511

Enbook ID

51764577

Издател

Springer, Berlin

Теглоt

508

Размери

155 x 235

Пълно описание

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.

The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.

The ABZ conference series is dedicated to the cross-fertilization of state-based and machine-based formal methods. Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z are examples of these methods. They share a common conceptual foundation and are widely used in both academia and industry for the rigorous design and analysis of hardware and software systems. The ABZ conferences aim to be a forum for the vital exchange of knowledge and experience among the research communities around different formal methods.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Rigorous State-Based Methods

12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings

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

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също