Temporal Logic and State Systems, Fred Kr?ger; Stephan Merz
Автор: Ron Koymans Название: Specifying Message Passing and Time-Critical Systems with Temporal Logic ISBN: 3540562834 ISBN-13(EAN): 9783540562832 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.
Автор: Beyer Betsy, Jones Chris, Petoff Jennifer Название: Site Reliability Engineering: How Google Runs Production Systems ISBN: 149192912X ISBN-13(EAN): 9781491929124 Издательство: Wiley Рейтинг: Цена: 50680.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.
Автор: Zohar Manna; Amir Pnueli Название: Temporal Verification of Reactive Systems ISBN: 1461287014 ISBN-13(EAN): 9781461287018 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The family of reactive systems includes many classes of programs whose correct and reliable construction is con- sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.
Автор: Dov M. Gabbay; Hans J. Ohlbach Название: Temporal Logic ISBN: 354058241X ISBN-13(EAN): 9783540582410 Издательство: Springer Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL `94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;
Автор: Howard Barringer; Michael Fisher; Dov M. Gabbay; G Название: Advances in Temporal Logic ISBN: 0792361490 ISBN-13(EAN): 9780792361497 Издательство: Springer Рейтинг: Цена: 214290.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presents articles containing results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. This book is intended for postgraduate and postdoctoral students, and also research professors in this area.
Автор: Nils Bulling; Leendert van der Torre; Serena Villa Название: Computational Logic in Multi-Agent Systems ISBN: 3319097636 ISBN-13(EAN): 9783319097633 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.
Автор: Joseph Sifakis Название: Automatic Verification Methods for Finite State Systems ISBN: 3540521488 ISBN-13(EAN): 9783540521488 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Fabrizio Cariani; Davide Grossi; Joke Meheus; Xavi Название: Deontic Logic and Normative Systems ISBN: 3319086146 ISBN-13(EAN): 9783319086149 Издательство: Springer Рейтинг: Цена: 44720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. the relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc.;
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 63280.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Jo?o Leite; Tran Cao Son; Paolo Torroni; Leon van Название: Computational Logic in Multi-Agent Systems ISBN: 3642406238 ISBN-13(EAN): 9783642406232 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.
Автор: Evan Tick; Giancarlo Succi Название: Implementations of Logic Programming Systems ISBN: 0792394577 ISBN-13(EAN): 9780792394570 Издательство: Springer Рейтинг: Цена: 139710.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Offers a collection of research papers in the area of the implementation of logic programming systems. This book is intended for those who seek an understanding of how to efficiently manage memory, generate fast code, perform static analyses, and design high-performance runtime features.
Автор: Behnam Banieqbal; Howard Barringer; Amir Pnueli Название: Temporal Logic in Specification ISBN: 3540518037 ISBN-13(EAN): 9783540518037 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
