VDM `87. VDM - A Formal Method at Work, Dines Bj?rner; Cliff Jones; Michael Mac An Airchin

Автор: Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nago
Название: Structured Object-Oriented Formal Language and Method
ISBN: 3319577077 ISBN-13(EAN): 9783319577074
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions.

Автор: Soren Prehn; Hans Toetenel
Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
ISBN: 3540548688 ISBN-13(EAN): 9783540548683
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

Автор: Soren Prehn; Hans Toetenel
Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
ISBN: 3540548343 ISBN-13(EAN): 9783540548348
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

Автор: Dines Bj?rner; C.A.R. Hoare; Hans Langmaack
Название: VDM `90. VDM and Z - Formal Methods in Software Development
ISBN: 3540525130 ISBN-13(EAN): 9783540525134
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe are concerned with bringing real theory to apply to real programming.

Автор: Juan C. Bicarregui
Название: Proof in VDM: Case Studies
ISBN: 3540761861 ISBN-13(EAN): 9783540761860
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: With contributions by numerous experts.

Автор: Robin E. Bloomfield; Lynn S. Marshall; Roger B. Jo
Название: VDM `88. VDM - The Way Ahead
ISBN: 3540502149 ISBN-13(EAN): 9783540502142
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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.

Автор: Shaoying Liu; Zhenhua Duan
Название: Structured Object-Oriented Formal Language and Method
ISBN: 3319174037 ISBN-13(EAN): 9783319174037
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions.

Автор: Shaoying Liu; Zhenhua Duan
Название: Structured Object-Oriented Formal Language and Method
ISBN: 3319049143 ISBN-13(EAN): 9783319049144
Издательство: Springer
Рейтинг:
Цена: 8803.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.