Michael Yoeli Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Купить за 12377.16 RUR
A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Avner Engel Verification, Validation, and Testing of Engineered Systems
Купить за 16999.51 RUR
Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system defects consumes about half of the overall engineering cost. Verification, Validation and Testing of Engineered Systems
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Nicolas Navet Modeling and Verification of Real-time Systems
Купить за 23440.41 RUR
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Michael Caracotsios Computer-Aided Modeling of Reactive Systems
Купить за 10155.74 RUR
Learn to apply modeling and parameter estimation tools and strategies to chemicalprocesses using your personal computer This book introduces readers to powerful parameter estimation and computational methods for modeling complex chemical reactions and reaction processes. It presents useful
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Michael C. Jackson Critical Systems Thinking and the Management of Complexity
Купить за 8101.08 RUR
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Romain Soulat The Inverse Method
Купить за 9352.85 RUR
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Mohammed Islam M. Shipboard Power Systems Design and Verification Fundamentals
Купить за 11545.86 RUR
The only book that covers fundamental shipboard design and verification concepts from individual devices to the system level Shipboard electrical system design and development requirements are fundamentally different from utility-based power generation and distribution requirements. Electrical
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Bittner Michael L. Epistemology of the Cell. A Systems Perspective on Biological Knowledge
Купить за 11730.59 RUR
Honorable mention – Biomedicine and Neuroscience, 2011 Prose Awards An examination of how the cell should be described in order to effectively process biological data «The fruitful pursuit of biological knowledge requires one to take Einstein's admonition [on science without epistemology] as a
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Experimenter of parallelogram rule for verification force Synthesis verification experiment demonstrator of common point force w
Купить за 19664.21 RUR
Следите за акциями и распродажами в августе 2026 от aliexpress.com/..
/ / / подобные товары
Группа авторов Models and Analysis for Distributed Systems
Купить за 15987.84 RUR
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Michael Fisher An Introduction to Practical Formal Methods Using Temporal Logic
Купить за 13393.2 RUR
The name «temporal logic» may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts – highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Michael Grimble J. Robust Industrial Control Systems
Купить за 25464.56 RUR
Robust Industrial Control Systems: Optimal Design Approach for Polynomial Systems presents a comprehensive introduction to the use of frequency domain and polynomial system design techniques for a range of industrial control and signal processing applications. The solution of stochastic and robust
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Товарные категории, использованные для поиска по вашему запросу: словари и переводчики, мультиварки и пароварки, музыкальные игрушки