Hoppa till sidans huvudinnehåll

Jean-Louis Boulanger – författare

Visar alla böcker från författaren Jean-Louis Boulanger.
12 produkter
Jean-Louis Boulanger - Certifiable Software Applications 1, Inbunden

Certifiable Software Applications 1

Main Processes

AvJean-Louis Boulanger

Inbunden, Engelska, 2016

1 859 kr

Skickas inom 10-15 vardagar

Jean-Louis Boulanger - Certifiable Software Applications 2, Inbunden

Certifiable Software Applications 2

Support Processes

AvJean-Louis Boulanger

Inbunden, Engelska, 2016

1 509 kr

Skickas inom 10-15 vardagar

Jean-Louis Boulanger - Certifiable Software Applications 3, Inbunden

Certifiable Software Applications 3

Downward Cycle

AvJean-Louis Boulanger

Inbunden, Engelska, 2018

2 249 kr

Skickas inom 10-15 vardagar

Jean-Louis Boulanger - B Method, Inbunden

B Method

AvJean-Louis Boulanger

Inbunden, Engelska, 2020

1 729 kr

Kommande

Jean-Louis Boulanger - Safety of Computer Architectures, Inbunden

Safety of Computer Architectures

AvJean-Louis Boulanger

Inbunden, Engelska, 2010

2 589 kr

Skickas inom 11-20 vardagar

Jean-Louis Boulanger - Static Analysis of Software, Inbunden

Static Analysis of Software

The Abstract Interpretation

AvJean-Louis Boulanger

Inbunden, Engelska, 2011

2 899 kr

Skickas inom 11-20 vardagar

Jean-Louis Boulanger - Formal Methods, Inbunden

Formal Methods

Industrial Use from Model to the Code

AvJean-Louis Boulanger

Inbunden, Engelska, 2012

2 509 kr

Skickas inom 11-20 vardagar

Jean-Louis Boulanger - Industrial Use of Formal Methods, Inbunden

Industrial Use of Formal Methods

Formal Verification

AvJean-Louis Boulanger

Inbunden, Engelska, 2012

2 409 kr

Skickas inom 5-8 vardagar

Jean-Louis Boulanger - Safety Management for Software-based Equipment, Inbunden

Safety Management for Software-based Equipment

AvJean-Louis Boulanger

Inbunden, Engelska, 2013

2 509 kr

Skickas inom 11-20 vardagar

Jean-Louis Boulanger - Formal Methods Applied to Industrial Complex Systems, Inbunden

Formal Methods Applied to Industrial Complex Systems

AvJean-Louis Boulanger

Inbunden, Engelska, 2014

2 999 kr

Skickas inom 11-20 vardagar

Jean-Louis Boulanger - CENELEC 50128 and IEC 62279 Standards, Inbunden

CENELEC 50128 and IEC 62279 Standards

AvJean-Louis Boulanger

Inbunden, Engelska, 2015

2 389 kr

Skickas inom 5-8 vardagar

Jean-Louis Boulanger - Formal Methods Applied to Complex Systems, Inbunden

Formal Methods Applied to Complex Systems

Implementation of the B Method

AvJean-Louis Boulanger

Inbunden, Engelska, 2014

3 029 kr

Skickas inom 5-8 vardagar