Книги автора Jean-Louis Boulanger
Jean-Louis Boulanger
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety obj…
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety obj…
Jean-Louis Boulanger
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fie…
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fie…
Jean-Louis Boulanger
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Me…
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Me…
Jean-Louis Boulanger
мистика, сборник рассказов, фантастические рассказы, рассказы-притчи, мрачные рассказыThe existing literature currently available to students and researchers is very general, covering only the formal techniques of static analy…
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analy…
Jean-Louis Boulanger
контркультура, современная МоскваAt present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to pr…
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to pr…
Jean-Louis Boulanger
зарубежное фэнтези, книги про волшебников, боевое фэнтези, героическое фэнтези, интриги, магические способности, квест, сражения, становление героя, эпическое фэнтези, волшебные миры, иллюстрированное издание, магия и колдовство, мифологическое фэнтезиAlthough formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techni…
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techni…
Jean-Louis Boulanger
боевая фантастика, приключенческие боевики, остросюжетная проза, фантастический боевик, ЛитРес: чтецIt is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and …
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and …
Jean-Louis Boulanger
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 …
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 …
Jean-Louis Boulanger
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to pr…
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to pr…
Jean-Louis Boulanger
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techni…
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techni…
Jean-Louis Boulanger
современная русская литератураThe existing literature currently available to students and researchers is very general, covering only the formal techniques of static analy…
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analy…
