Hoppa till sidans huvudinnehåll

Jean-Louis Boulanger – författare

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

Certifiable Software Applications 1

Main Processes

AvJean-Louis Boulanger

Inbunden, Engelska, 2016

1 809 kr

Skickas inom 10-15 vardagar

Certifiable Software Applications 2

Support Processes

AvJean-Louis Boulanger

Inbunden, Engelska, 2016

1 469 kr

Skickas inom 10-15 vardagar

Certifiable Software Applications 3

Downward Cycle

AvJean-Louis Boulanger

Inbunden, Engelska, 2018

2 189 kr

Skickas inom 10-15 vardagar

B Method

AvJean-Louis Boulanger

Inbunden, Engelska, 2020

1 679 kr

Kommande

Safety of Computer Architectures

AvJean-Louis Boulanger

Inbunden, Engelska, 2010

2 519 kr

Skickas inom 11-20 vardagar

Static Analysis of Software

The Abstract Interpretation

AvJean-Louis Boulanger

Inbunden, Engelska, 2011

2 819 kr

Skickas inom 11-20 vardagar

Formal Methods

Industrial Use from Model to the Code

AvJean-Louis Boulanger

Inbunden, Engelska, 2012

2 449 kr

Skickas inom 11-20 vardagar

Industrial Use of Formal Methods

Formal Verification

AvJean-Louis Boulanger

Inbunden, Engelska, 2012

2 339 kr

Skickas inom 5-8 vardagar

Safety Management for Software-based Equipment

AvJean-Louis Boulanger

Inbunden, Engelska, 2013

2 449 kr

Skickas inom 11-20 vardagar

Formal Methods Applied to Industrial Complex Systems

AvJean-Louis Boulanger

Inbunden, Engelska, 2014

2 929 kr

Skickas inom 11-20 vardagar

CENELEC 50128 and IEC 62279 Standards

AvJean-Louis Boulanger

Inbunden, Engelska, 2015

2 309 kr

Skickas inom 5-8 vardagar

Formal Methods Applied to Complex Systems

Implementation of the B Method

AvJean-Louis Boulanger

Inbunden, Engelska, 2014

2 929 kr

Skickas inom 5-8 vardagar