Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai Название: Compositional Verification of Concurrent and Real-Time Systems ISBN: 1461353491 ISBN-13(EAN): 9781461353492 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.
Автор: Ryszard Janicki; Peter E. Lauer Название: Specification and Analysis of Concurrent Systems ISBN: 3642773397 ISBN-13(EAN): 9783642773396 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.
Автор: Ernst G. Ulrich; Vishwani D. Agrawal; Jack H. Arab Название: Concurrent and Comparative Discrete Event Simulation ISBN: 1461361818 ISBN-13(EAN): 9781461361817 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concurrent simulation is over twenty years old. Yet, it is remarkable that no book published so far presents a correct and sufficiently detailed treatment of concurrent simulation. The discussion of multi-domain concurrent simulation--- recent work of Karen Panetta Lentz and Ernst Ulrich---is fascinat- ing.
Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Автор: G. Kahn Название: Semantics of Concurrent Computation ISBN: 354009511X ISBN-13(EAN): 9783540095118 Издательство: Springer Рейтинг: Цена: 4191.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: A. C. Hartmann Название: A Concurrent Pascal Compiler for Minicomputers ISBN: 3540082409 ISBN-13(EAN): 9783540082408 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti Название: Critical Systems: Formal Methods and Automated Verification ISBN: 331967112X ISBN-13(EAN): 9783319671123 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.
Автор: Joseph Sifakis Название: Automatic Verification Methods for Finite State Systems ISBN: 3540521488 ISBN-13(EAN): 9783540521488 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of a workshop held in Grenoble in June 1989. The workshop was devoted to the verification of finite state systems. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages.
Автор: ter Beek Название: Critical Systems: Formal Methods and Automated Verification ISBN: 3319459422 ISBN-13(EAN): 9783319459424 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Автор: John A. Wise; V.David Hopkin; Paul Stager Название: Verification and Validation of Complex Systems: Human Factors Issues ISBN: 364208155X ISBN-13(EAN): 9783642081552 Издательство: Springer Рейтинг: Цена: 51570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Paulo Tabuada Название: Verification and Control of Hybrid Systems ISBN: 1441954988 ISBN-13(EAN): 9781441954985 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
