Hoppa till sidans huvudinnehåll

Jean-Louis Boulanger - Böcker

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 819 kr

Skickas inom 7-10 vardagar

Certifiable Software Applications 2

Support Processes

AvJean-Louis Boulanger

Inbunden, Engelska, 2016

1 479 kr

Skickas inom 7-10 vardagar

Certifiable Software Applications 3

Downward Cycle

AvJean-Louis Boulanger

Inbunden, Engelska, 2018

2 199 kr

Skickas inom 7-10 vardagar

B Method

AvJean-Louis Boulanger

Inbunden, Engelska, 2020

1 689 kr

Kommande

Safety of Computer Architectures

AvJean-Louis Boulanger

Inbunden, Engelska, 2010

2 529 kr

Skickas inom 11-20 vardagar

Static Analysis of Software

The Abstract Interpretation

AvJean-Louis Boulanger

Inbunden, Engelska, 2011

2 739 kr

Skickas inom 11-20 vardagar

Formal Methods

Industrial Use from Model to the Code

AvJean-Louis Boulanger

Inbunden, Engelska, 2012

2 369 kr

Skickas inom 11-20 vardagar

Industrial Use of Formal Methods

Formal Verification

AvJean-Louis Boulanger

Inbunden, Engelska, 2012

2 349 kr

Skickas inom 7-10 vardagar

Safety Management for Software-based Equipment

AvJean-Louis Boulanger

Inbunden, Engelska, 2013

2 459 kr

Skickas inom 11-20 vardagar

Formal Methods Applied to Industrial Complex Systems

AvJean-Louis Boulanger

Inbunden, Engelska, 2014

2 809 kr

Skickas inom 7-10 vardagar

CENELEC 50128 and IEC 62279 Standards

AvJean-Louis Boulanger

Inbunden, Engelska, 2015

2 319 kr

Skickas inom 7-10 vardagar

Formal Methods Applied to Complex Systems

Implementation of the B Method

AvJean-Louis Boulanger

Inbunden, Engelska, 2014

2 949 kr

Skickas inom 7-10 vardagar