Jean-Louis Boulanger скачать книги бесплатно, книги автора Jean-Louis Boulanger

Главная
Jean-Louis Boulanger

Серия: Без серии

обложка книги Safety of Computer Architectures

31-03-2018

Текст

зарубежная компьютерная литература

Safety of Computer Architectures

(0 из 5) [ оценок]

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 archite...

обложка книги Static Analysis of Software. The Abstract Interpretation

13-04-2018

Текст

зарубежная компьютерная литература

Static Analysis of Software. The Abstract Interpretation

(0 из 5) [ оценок]

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...

обложка книги Formal Methods. Industrial Use from Model to the Code

13-04-2018

Текст

техническая литература

Formal Methods. Industrial Use from Model to the Code

(0 из 5) [ оценок]

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 o...

обложка книги Industrial Use of Formal Methods. Formal Verification

13-04-2018

Текст

техническая литература

Industrial Use of Formal Methods. Formal Verification

(0 из 5) [ оценок]

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 expe...

Новинки!