Поиск:
Войти
Книги автора: Jean-Louis Boulanger
Сортировка
- сначала новые
- сначала новые
- по рейтингу
- по просмотрам
- по названию
The existing literature currently available to students and researchers is very general, covering on…
The existing literature currently available to students and researchers is very general, covering on…
Although formal analysis programming techniques may be quite old, the introduction of formal methods…
Although formal analysis programming techniques may be quite old, the introduction of formal methods…
At present the literature gives students and researchers of the very general books on the formal tec…
At present the literature gives students and researchers of the very general books on the formal tec…
Добавлено
Год выхода: 2018
Язык: Английский
This book presents real-world examples of formal techniques in an industrial context. It covers form…
This book presents real-world examples of formal techniques in an industrial context. It covers form…
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C…
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C…
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railwa…
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railwa…
A review of the principles of the safety of software-based equipment, this book begins by presenting…
A review of the principles of the safety of software-based equipment, this book begins by presenting…
It is currently quite easy for students or designers/engineers to find very general books on the var…
It is currently quite easy for students or designers/engineers to find very general books on the var…
The existing literature currently available to students and researchers is very general, covering on…
The existing literature currently available to students and researchers is very general, covering on…
Although formal analysis programming techniques may be quite old, the introduction of formal methods…
Although formal analysis programming techniques may be quite old, the introduction of formal methods…
At present the literature gives students and researchers of the very general books on the formal tec…
At present the literature gives students and researchers of the very general books on the formal tec…
1
Популярные книги