Jean-Louis Boulanger – författare

Visar alla böcker från författaren Jean-Louis Boulanger.

12 produkter

Kategorier

12 produkter

Certifiable Software Applications 1
Main Processes
AvJean-Louis Boulanger
Inbunden, Engelska, 2016
1 859 kr
Skickas inom 10-15 vardagar
Certifiable Software Applications 2
Support Processes
AvJean-Louis Boulanger
Inbunden, Engelska, 2016
1 509 kr
Skickas inom 10-15 vardagar
Certifiable Software Applications 3
Downward Cycle
AvJean-Louis Boulanger
Inbunden, Engelska, 2018
2 239 kr
Skickas inom 10-15 vardagar
B Method
AvJean-Louis Boulanger
Inbunden, Engelska, 2020
1 719 kr
Kommande
Safety of Computer Architectures
AvJean-Louis Boulanger
Inbunden, Engelska, 2010
2 579 kr
Skickas inom 11-20 vardagar
Static Analysis of Software
The Abstract Interpretation
AvJean-Louis Boulanger
Inbunden, Engelska, 2011
2 889 kr
Skickas inom 11-20 vardagar
Formal Methods
Industrial Use from Model to the Code
AvJean-Louis Boulanger
Inbunden, Engelska, 2012
2 499 kr
Skickas inom 11-20 vardagar
Industrial Use of Formal Methods
Formal Verification
AvJean-Louis Boulanger
Inbunden, Engelska, 2012
2 379 kr
Skickas inom 5-8 vardagar
Safety Management for Software-based Equipment
AvJean-Louis Boulanger
Inbunden, Engelska, 2013
2 499 kr
Skickas inom 11-20 vardagar
Formal Methods Applied to Industrial Complex Systems
AvJean-Louis Boulanger
Inbunden, Engelska, 2014
2 999 kr
Skickas inom 11-20 vardagar
CENELEC 50128 and IEC 62279 Standards
AvJean-Louis Boulanger
Inbunden, Engelska, 2015
2 349 kr
Skickas inom 5-8 vardagar
Formal Methods Applied to Complex Systems
Implementation of the B Method
AvJean-Louis Boulanger
Inbunden, Engelska, 2014
2 979 kr
Skickas inom 5-8 vardagar