1 - 18 of 18 results for "Jean Louis Boulanger"

Grid View Grid
List View List
Grid View Grid
List View List
Title: Industrial Use of Formal Methods: Formal Verification, Author: Jean-Louis Boulanger
QUICK ADD
Industrial Use of Formal…
by Jean-Louis Boulanger (Editor)
Explore Series
eBook $144.00
Title: Safety of Computer Architectures, Author: Jean-Louis Boulanger
QUICK ADD
Safety of Computer…
by Jean-Louis Boulanger (Editor)
#477 in Series
Hardcover $177.95
Title: Ingénierie des exigences: Méthodes et bonnes pratiques pour construire et maintenir un référentiel, Author: Stéphane Badreau
QUICK ADD
Ingénierie des exigences:…
by Stéphane Badreau, Jean-Louis Boulanger
Explore Series
eBook $40.99
Title: Static Analysis of Software: The Abstract Interpretation, Author: Jean-Louis Boulanger
QUICK ADD
Static Analysis of Software:…
by Jean-Louis Boulanger (Editor)
#586 in Series
Hardcover $200.95
Title: Formal Methods Applied to Complex Systems: Implementation of the B Method, Author: Jean-Louis Boulanger
QUICK ADD
Formal Methods Applied to…
by Jean-Louis Boulanger (Editor)
Explore Series
eBook $181.00
Title: Safety Management for Software-based Equipment, Author: Jean-Louis Boulanger
QUICK ADD
Safety Management for Software…
by Jean-Louis Boulanger
Explore Series
eBook $142.00
Title: Safety of Computer Architectures, Author: Jean-Louis Boulanger
QUICK ADD
Safety of Computer…
by Jean-Louis Boulanger (Editor)
Explore Series
eBook $142.00
Title: Formal Methods: Industrial Use from Model to the Code, Author: Jean-Louis Boulanger
QUICK ADD
Formal Methods: Industrial Use…
by Jean-Louis Boulanger (Editor)
Explore Series
eBook $144.00
Title: CENELEC 50128 and IEC 62279 Standards, Author: Jean-Louis Boulanger
QUICK ADD
CENELEC 50128 and IEC 62279…
by Jean-Louis Boulanger
eBook $142.00
Title: Formal Methods Applied to Industrial Complex Systems, Author: Jean-Louis Boulanger
QUICK ADD
Formal Methods Applied to…
by Jean-Louis Boulanger (Editor)
Explore Series
eBook $172.00
Title: Safety Management for Software-based Equipment, Author: Jean-Louis Boulanger
QUICK ADD
Safety Management for Software…
by Jean-Louis Boulanger
Explore Series
Hardcover $177.95
Title: Formal Methods: Industrial Use from Model to the Code, Author: Jean-Louis Boulanger
QUICK ADD
Formal Methods: Industrial Use…
by Jean-Louis Boulanger (Editor)
#692 in Series
Hardcover $179.95
Title: Formal Methods Applied to Industrial Complex Systems, Author: Jean-Louis Boulanger
QUICK ADD
Formal Methods Applied to…
by Jean-Louis Boulanger (Editor)
Explore Series
Hardcover $214.95
Title: CENELEC 50128 and IEC 62279 Standards, Author: Jean-Louis Boulanger
QUICK ADD
CENELEC 50128 and IEC 62279…
by Jean-Louis Boulanger
Explore Series
Hardcover $177.95
Title: Static Analysis of Software: The Abstract Interpretation, Author: Jean-Louis Boulanger
QUICK ADD
Static Analysis of Software:…
by Jean-Louis Boulanger (Editor)
Explore Series
eBook $161.00
Title: Certifiable Software Applications 1: Main Processes, Author: Jean-Louis Boulanger
QUICK ADD
Certifiable Software…
by Jean-Louis Boulanger
eBook $130.00
Title: Certifiable Software Applications 2: Support Processes, Author: Jean-Louis Boulanger
QUICK ADD
Certifiable Software…
by Jean-Louis Boulanger
eBook $130.00
Title: Certifiable Software Applications 3: Downward Cycle, Author: Jean-Louis Boulanger
QUICK ADD
Certifiable Software…
by Jean-Louis Boulanger
eBook $130.00