VDM `88. VDM - The Way Ahead, Robin E. Bloomfield; Lynn S. Marshall; Roger B. Jo

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

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

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

Автор: Dines Bj?rner; Cliff Jones; Michael Mac An Airchin
Название: VDM `87. VDM - A Formal Method at Work
ISBN: 3540176543 ISBN-13(EAN): 9783540176541
Издательство: Springer
Рейтинг:
Цена: 12157.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.