Hoppa till sidans huvudinnehåll

Jean-Louis Boulanger - Böcker

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

Certifiable Software Applications 1

Main Processes

AvJean-Louis Boulanger,Jean-Louis (Independent Safety Assessor (ISA) in the railway domain focusing on software elements) Boulanger

Inbunden, Engelska, 2016

1 759 kr

Skickas inom 7-10 vardagar

Certifiable Software Applications 2

Support Processes

AvJean-Louis Boulanger,Jean-Louis (Independent Safety Assessor (ISA) in the railway domain focusing on software elements) Boulanger

Inbunden, Engelska, 2016

1 429 kr

Skickas inom 7-10 vardagar

Certifiable Software Applications 3

Downward Cycle

AvJean-Louis Boulanger,Jean-Louis (Independent Safety Assessor (ISA) in the railway domain focusing on software elements) Boulanger

Inbunden, Engelska, 2018

2 119 kr

Skickas inom 7-10 vardagar

  • Nyhet

Certifiable Software Applications 4

Upward Cycle

AvJean-Louis (Independent Safety Assessor (ISA) in the railway domain focusing on software elements) Boulanger,Jean-Louis Boulanger

Inbunden, Engelska, 2029

1 629 kr

Kommande

B Method

AvJean-Louis Boulanger

Inbunden, Engelska, 2020

1 629 kr

Kommande

Safety of Computer Architectures

AvJean-Louis Boulanger,Jean-Louis (Consultant) Boulanger

Inbunden, Engelska, 2010

2 489 kr

Skickas inom 11-20 vardagar

Static Analysis of Software

The Abstract Interpretation

AvJean-Louis Boulanger,Jean-Louis (Consultant) Boulanger

Inbunden, Engelska, 2011

2 819 kr

Skickas inom 11-20 vardagar

Formal Methods

Industrial Use from Model to the Code

AvJean-Louis Boulanger,Jean-Louis (Consultant) Boulanger

Inbunden, Engelska, 2012

2 419 kr

Skickas inom 11-20 vardagar

Industrial Use of Formal Methods

Formal Verification

AvJean-Louis Boulanger,Jean-Louis (Consultant) Boulanger

Inbunden, Engelska, 2012

2 229 kr

Skickas inom 10-15 vardagar

Safety of Software–based Systems

AvJean–Louis Boulanger

Inbunden, Engelska, 2020

2 099 kr

Skickas inom 11-20 vardagar

Safety Management for Software-based Equipment

AvJean-Louis Boulanger,Jean-Louis (Consultant) Boulanger

Inbunden, Engelska, 2013

2 419 kr

Skickas inom 11-20 vardagar

Formal Methods Applied to Industrial Complex Systems

AvJean-Louis Boulanger,Jean-Louis (Consultant) Boulanger

Inbunden, Engelska, 2014

2 659 kr

Skickas inom 10-15 vardagar

CENELEC 50128 and IEC 62279 Standards

AvJean-Louis Boulanger,Jean-Louis (Consultant) Boulanger

Inbunden, Engelska, 2015

2 469 kr

Skickas inom 10-15 vardagar

Formal Methods Applied to Complex Systems

Implementation of the B Method

AvJean-Louis Boulanger,Jean-Louis (Consultant) Boulanger

Inbunden, Engelska, 2014

2 799 kr

Skickas inom 10-15 vardagar

Maitriser la sécurité des systèmes programmables

AvBoulanger-J,BOULANGER-J m. fl.

Häftad, Franska, 2018

1 219 kr

Skickas inom 5-8 vardagar

Expression Et Validation Des Exigences de S�curit�

AvBoulanger-J,BOULANGER-J m. fl.

Häftad, Franska, 2018

1 329 kr

Skickas inom 5-8 vardagar