Jean-Louis Boulanger Static Analysis of Software. The Abstract Interpretation
Купить за 16533.67 RUR
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called «abstract interpretation» currently being used in various industrial fields: railway,
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Jean-Louis Boulanger Safety of Computer Architectures
Купить за 12839 RUR
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
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.
/ / / подобные товары
Jean-Louis Boulanger Formal Methods. Industrial Use from Model to the Code
Купить за 14774.08 RUR
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Jean-Louis Boulanger CENELEC 50128 and IEC 62279 Standards
Купить за 15388.02 RUR
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Jean-Louis Boulanger Safety Management for Software-based Equipment
Купить за 15240.83 RUR
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Jean-Paul Louis Control of Synchronous Motors
Купить за 20228.35 RUR
Synchronous motors are indubitably the most effective device to drive industrial production systems and robots with precision and rapidity. Their control law is thus critical for combining at the same time high productivity to reduced energy consummation. As far as possible, the control algorithms
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Туалетная вода Jean Louis Scherrer Jean Louis Sherrer
Купить за 4886 RUR
Следите за акциями и распродажами в августе 2026 от ООО СДЭК.Маркет ИНН 6194002171 , cdek.shopping/ erid 2SDnjf18t9p.
Jean Louis Scherrer / Туалетная вода Jean Louis Scherrer Jean Louis Sherrer / Туалетная вода Jean Louis Scherrer Jean Louis Sherrer / подобные товары
Парфюмированная вода Jean Louis Scherrer Jean Louis Sherrer
Купить за 4504 RUR
Следите за акциями и распродажами в августе 2026 от ООО СДЭК.Маркет ИНН 6194002171 , cdek.shopping/ erid 2SDnjf18t9p.
Jean Louis Scherrer / Парфюмированная вода Jean Louis Scherrer Jean Louis Sherrer / Парфюмированная вода Jean Louis Scherrer Jean Louis Sherrer / подобные товары
Jean-Paul Louis Control of Non-conventional Synchronous Motors
Купить за 20228.35 RUR
Classical synchronous motors are the most effective device to drive industrial production systems and robots with precision and rapidity. However, numerous applications require efficient controls in non-conventional situations. Firstly, this is the case with synchronous motors supplied by thyristor
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Jean-Louis Auriault Homogenization of Coupled Phenomena in Heterogenous Media
Купить за 25585.63 RUR
Both naturally-occurring and man-made materials are often heterogeneous materials formed of various constituents with different properties and behaviours. Studies are usually carried out on volumes of materials that contain a large number of heterogeneities. Describing these media by using
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Bruno Kolb Static Headspace-Gas Chromatography
Купить за 14477.61 RUR
The only reference to provide both current and thorough coverage of this important analytical technique Static headspace-gas chromatography (HS-GC) is an indispensable technique for analyzing volatile organic compounds, enabling the analyst to assay a variety of sample matrices while avoiding the
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Товарные категории, использованные для поиска по вашему запросу: подарочные наборы, книги, люстры