Abstract State Machines, Alloy, B, TLA, VDM, and Z, Butler
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Wayne Hillel Название: Practical Tla+: Planning Driven Development ISBN: 1484238281 ISBN-13(EAN): 9781484238288 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.
You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency.
Finally, you’ll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications.
What You'll Learn
Read and write TLA+ specsCheck specs for broken invariants, race conditions, and liveness bugsDesign concurrency and distributed systemsLearn how TLA+ can help you with your day-to-day production work
Who This Book Is For
Those with programming experience who are new to design and to TLA+.
Автор: Michael Hosking; Frederick G. Yost Название: The Mechanics of Solder Alloy Wetting and Spreading ISBN: 1468414429 ISBN-13(EAN): 9781468414424 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In 1992 Congress passed the Defense Manufacturing Engineering Education Act with the intent of encouraging academic institutions to increase their emphasis on manufacturing curricula.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
