Abstract State Machines, Alloy, B, TLA, VDM, and Z, Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor

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

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

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

Автор: Werner Kluge
Название: Abstract Computing Machines
ISBN: 3642059384 ISBN-13(EAN): 9783642059384
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Автор: Yamine Ait Ameur; Klaus-Dieter Schewe
Название: Abstract State Machines, Alloy, B, TLA, VDM, and Z
ISBN: 3662436515 ISBN-13(EAN): 9783662436516
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014.

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

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

Автор: Egon B?rger; Michael Butler; Jonathan P. Bowen; Pa
Название: Abstract State Machines, B and Z
ISBN: 3540876022 ISBN-13(EAN): 9783540876021
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. This title organizes the contributions in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network workshop.

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

Автор: 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 р.
Наличие на складе: Есть у поставщика Поставка под заказ.