Specification and Analysis of Concurrent Systems, Ryszard Janicki; Peter E. Lauer

Автор: Patrice Godefroid
Название: Partial-Order Methods for the Verification of Concurrent Systems
ISBN: 3540607617 ISBN-13(EAN): 9783540607618
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph is a revised version of the author`s PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai
Название: Compositional Verification of Concurrent and Real-Time Systems
ISBN: 1461353491 ISBN-13(EAN): 9781461353492
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642320260 ISBN-13(EAN): 9783642320262
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Michel Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642446159 ISBN-13(EAN): 9783642446153
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Ernst G. Ulrich; Vishwani D. Agrawal; Jack H. Arab
Название: Concurrent and Comparative Discrete Event Simulation
ISBN: 1461361818 ISBN-13(EAN): 9781461361817
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: A. C. Hartmann
Название: A Concurrent Pascal Compiler for Minicomputers
ISBN: 3540082409 ISBN-13(EAN): 9783540082408
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: G. Kahn
Название: Semantics of Concurrent Computation
ISBN: 354009511X ISBN-13(EAN): 9783540095118
Издательство: Springer
Рейтинг:
Цена: 27940.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: V.S. Alagar; K. Periyasamy
Название: Specification of Software Systems
ISBN: 1447126440 ISBN-13(EAN): 9781447126447
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Автор: Krzysztof R. Apt
Название: Logics and Models of Concurrent Systems
ISBN: 3642824552 ISBN-13(EAN): 9783642824555
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Marc Pallot; Victor Sandoval
Название: Concurrent Enterprising
ISBN: 1461368235 ISBN-13(EAN): 9781461368236
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concurrent Enterprising: Toward the Concurrent Enterprise in the Era of the Internet and Electronic Commerce presents the concurrent enterprise business model and concurrent enterprising approach, which is emerging as a crucial challenge for organizations in all geographical locations and economic sectors.

Автор: Egidio Astesiano; Hans-J?rg Kreowski; Bernd Krieg-
Название: Algebraic Foundations of Systems Specification
ISBN: 3642641512 ISBN-13(EAN): 9783642641510
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch- er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab- stract data types and the formal development of first-order applicative pro- grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati- cally founded in universal algebra, category theory and logic.

Автор: El?d Knuth; E.J. Neuhold
Название: Specification and Design of Software Systems
ISBN: 3540122842 ISBN-13(EAN): 9783540122845
Издательство: Springer
Рейтинг:
Цена: 18630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.