Jean-Louis Boulanger – författare

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

12 produkter

1. 

   Certifiable Software Applications 1

   Main Processes

   Av Jean-Louis Boulanger

   Inbunden, 2016

   1919 kr

   Lägg i varukorg

2. 

   Certifiable Software Applications 2

   Support Processes

   Av Jean-Louis Boulanger

   Inbunden, 2016

   1559 kr

   Lägg i varukorg

3. 

   Certifiable Software Applications 3

   Downward Cycle

   Av Jean-Louis Boulanger

   Inbunden, 2018

   2309 kr

   Lägg i varukorg

4. 

   B Method

   Av Jean-Louis Boulanger

   Inbunden, 2020

   1779 kr

   Kommande

5. 

   Safety of Computer Architectures

   Av Jean-Louis Boulanger

   Inbunden, 2010

   2659 kr

   Lägg i varukorg

6. 

   Static Analysis of Software

   The Abstract Interpretation

   Av Jean-Louis Boulanger

   Inbunden, 2011

   2989 kr

   Lägg i varukorg

7. 

   Formal Methods

   Industrial Use from Model to the Code

   Av Jean-Louis Boulanger

   Inbunden, 2012

   2589 kr

   Lägg i varukorg

8. 

   Industrial Use of Formal Methods

   Formal Verification

   Av Jean-Louis Boulanger

   Inbunden, 2012

   2479 kr

   Lägg i varukorg

9. 

   Safety Management for Software-based Equipment

   Av Jean-Louis Boulanger

   Inbunden, 2013

   2589 kr

   Lägg i varukorg

10. 

    Formal Methods Applied to Industrial Complex Systems

    Av Jean-Louis Boulanger

    Inbunden, 2014

    3019 kr

    Lägg i varukorg

11. 

    CENELEC 50128 and IEC 62279 Standards

    Av Jean-Louis Boulanger

    Inbunden, 2015

    2459 kr

    Lägg i varukorg

12. 

    Formal Methods Applied to Complex Systems

    Implementation of the B Method

    Av Jean-Louis Boulanger

    Inbunden, 2014

    3119 kr

    Lägg i varukorg