Kazi Sakib Verification of Communication Protocols in Web Services
Купить за 12519.81 RUR
In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Within the last few years, we have seen a steep growth of
Следите за акциями и распродажами в августе 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/..
/ / / подобные товары
Rolf Kindmann Stahlbau
Купить за 6927.52 RUR
The central themes are structural stability, the determination of loading according to 2nd order theory and the verification of load-bearing capacity. The actual load-bearing behaviour is explained, suitable verification procedures are recommended and illustrated with examples.
Следите за акциями и распродажами в августе 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 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.
/ / / подобные товары
French Metrology Collegeof Transverse Disciplines in Metrology
Купить за 35561.25 RUR
Based on The International Metrology Congress meeting, this reference examines the evolution of metrology, and its applications in industry, environment and safety, health and medicine, economy and quality, and new information and communication technologies; details the improvement of measurement
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Группа авторов Petri Nets
Купить за 33545.56 RUR
A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Non Violent Communication Marshall's Art Of Communication Eloquence Training Communication Skills And People
Купить за 1153.29 RUR
Следите за акциями и распродажами в августе 2026 от aliexpress.com/..
/ / / подобные товары
Essentials of Intercultural Communication
Купить за 1170 RUR
Следите за акциями и распродажами в августе 2026 от ООО ДЖУМ ИНН 7714448295 , www.joom.ru.
JDST online / / / подобные товары
The Art of Communication
Купить за 990 RUR
Следите за акциями и распродажами в августе 2026 от ООО ДЖУМ ИНН 7714448295 , www.joom.ru.
JDST online / / / подобные товары
Jean-Louis Boulanger Industrial Use of Formal Methods. Formal Verification
Купить за 14774.08 RUR
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Товарные категории, использованные для поиска по вашему запросу: ароматизаторы, техническая литература, запчасти для навигаторов