It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Open Library is running in limited-availability mode: login is disabled and some books may appear unavailable
Last edited by ImportBot
December 4, 2010 | History
Edit

Jean-Louis Boulanger

We need a photo of Jean-Louis Boulanger

30 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Scade: Language and Applications

    First published in 2015 — 5 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Methods: Industrial Use from Model to the Code

    First published in 2012 — 5 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Industrial Use of Formal Methods: Formal Verification

    First published in 2012 — 5 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Safety of Software-Based Systems

    First published in 2020 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Static Analysis of Software: The Abstract Interpretation

    First published in 2011 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Methods Applied to Industrial Complex Systems

    First published in 2014 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Methods Applied to Complex Systems

    First published in 2014 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Safety Management for Software-Based Equipment

    First published in 2013 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Safety of computer architectures

    First published in 2010 — 4 editions
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: CENELEC 50128 and IEC 62279 Standards

    First published in 2014 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Data Validation

    First published in 2020 — 3 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Safety of Computer Architectures

    First published in 2010 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Static Analysis of Software: The Abstract Interpretation

    First published in 2011 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: B Method

    First published in 2019 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Certifiable Software Applications 3: Downward Cycle

    First published in 2018 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Certifiable Software Applications 2: Support Process

    First published in 2016 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Certifiable Software Applications 4: Upward Cycle

    First published in 2019 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Safety Management of Software-Based Equipment

    First published in 2013 — 2 editions
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Certifiable Software Applications in 4 Volumes

    First published in 2015 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mise en Uvre des Normes CENELEC 50128 et IEC 62279

    First published in 2014 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Jean-Louis Boulanger

Subjects

Computer science, Computer software, development, Computer security, Application software, development, Avionics, Computer architecture, Computer software, Computer software, certification, Computer software, quality control, Computer software, testing, Computer software, verification, Computer systems, Data processing, Debugging in computer science, Formal methods (Computer science), Industries, data processing, Railroads, data processing, Railroads, management, Reliability, Safety measures, Application software, Computational linguistics, Computer engineering, Computer programs, validation, Computer simulation

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL6864273A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
December 4, 2010 Created by ImportBot new author