Abstract State Machines, Alloy, B, TLA, VDM, and Z, Yamine Ait Ameur; Klaus-Dieter Schewe

Автор: Marc Frappier; Uwe Gl?sser; Sarfraz Khurshid; R?gi
Название: Abstract State Machines, Alloy, B and Z
ISBN: 3642118100 ISBN-13(EAN): 9783642118104
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers.

Автор: Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor
Название: Abstract State Machines, Alloy, B, TLA, VDM, and Z
ISBN: 3319335995 ISBN-13(EAN): 9783319335995
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the refereed proceedings of the 5th International Conference on AbstractState Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, inMay 2016. They record the latest researchdevelopments in state-based formal methods Abstract State Machines, Alloy, B,Circus, Event-B, TLS+, VDM and Z.