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

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

Inbunden, Engelska, 2016

1 809 kr

Skickas inom 7-10 vardagar

Certifiable Software Applications 2

Support Processes

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

Inbunden, Engelska, 2016

1 469 kr

Skickas inom 7-10 vardagar

Certifiable Software Applications 3

Downward Cycle

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

Inbunden, Engelska, 2018

2 189 kr

Skickas inom 7-10 vardagar
  • Nyhet

Certifiable Software Applications 4

Upward Cycle

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

Inbunden, Engelska, 2029

1 669 kr

Kommande

B Method

Av Jean-Louis Boulanger

Inbunden, Engelska, 2020

1 669 kr

Kommande

Safety of Computer Architectures

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

Inbunden, Engelska, 2010

2 489 kr

Skickas inom 11-20 vardagar

Static Analysis of Software

The Abstract Interpretation

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

Inbunden, Engelska, 2011

2 789 kr

Skickas inom 11-20 vardagar

Formal Methods

Industrial Use from Model to the Code

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

Inbunden, Engelska, 2012

2 419 kr

Skickas inom 11-20 vardagar

Industrial Use of Formal Methods

Formal Verification

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

Inbunden, Engelska, 2012

2 319 kr

Skickas inom 7-10 vardagar

Safety of Software–based Systems

Av Jean–Louis Boulanger

Inbunden, Engelska, 2020

2 099 kr

Kommande

Safety Management for Software-based Equipment

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

Inbunden, Engelska, 2013

2 419 kr

Skickas inom 11-20 vardagar

Formal Methods Applied to Industrial Complex Systems

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

Inbunden, Engelska, 2014

2 769 kr

Skickas inom 7-10 vardagar

CENELEC 50128 and IEC 62279 Standards

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

Inbunden, Engelska, 2015

2 469 kr

Skickas inom 7-10 vardagar

Formal Methods Applied to Complex Systems

Implementation of the B Method

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

Inbunden, Engelska, 2014

2 909 kr

Skickas inom 7-10 vardagar

Maitriser la sécurité des systèmes programmables

Av Boulanger-J, BOULANGER-J m. fl

Häftad, Franska, 2018

1 219 kr

Skickas inom 7-10 vardagar

Expression Et Validation Des Exigences de S�curit�

Av Boulanger-J, BOULANGER-J m. fl

Häftad, Franska, 2018

1 319 kr

Skickas inom 7-10 vardagar