B Method

Inbunden, Engelska, 2020

Av Jean-Louis Boulanger

1 669 kr

Kommande

Produktinformation

  • Utgivningsdatum2020-12-15
  • FormatInbunden
  • SpråkEngelska
  • Antal sidor300
  • FörlagIste Press - Elsevier
  • ISBN9781785481567

Tillhör följande kategorier

Mer från samma författare

Certifiable Software Applications 1

Certifiable Software Applications 1

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

1 789 kr

Certifiable Software Applications 2

Certifiable Software Applications 2

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

1 459 kr

Certifiable Software Applications 3

Certifiable Software Applications 3

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

2 159 kr

Certifiable Software Applications 4
  • Nyhet

Certifiable Software Applications 4

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

1 669 kr

Safety of Computer Architectures

Safety of Computer Architectures

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

2 539 kr

Static Analysis of Software

Static Analysis of Software

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

2 849 kr

Formal Methods

Formal Methods

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

2 469 kr

Industrial Use of Formal Methods

Industrial Use of Formal Methods

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

2 349 kr

Safety of Software–based Systems

Safety of Software–based Systems

Jean–Louis Boulanger

2 099 kr

Safety Management for Software-based Equipment

Safety Management for Software-based Equipment

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

2 469 kr

Du kanske också är intresserad av

CENELEC 50128 and IEC 62279 Standards

CENELEC 50128 and IEC 62279 Standards

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

2 469 kr

The Aptamers Ligands: Powerful Tools from Molecular Evolution

The Aptamers Ligands: Powerful Tools from Molecular Evolution

Gerald Perret, Frederic Duconge

1 259 kr

Formal Methods

Formal Methods

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

2 469 kr

Expression Et Validation Des Exigences de S�curit�

Expression Et Validation Des Exigences de S�curit�

Boulanger-J, BOULANGER-J, Jean-Louis Boulanger

1 349 kr

Functional Analysis

Functional Analysis

Frederic Magoules, Anna Rozanova-Pierrat

1 799 kr

Certifiable Software Applications 1

Certifiable Software Applications 1

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

1 789 kr

Formal Methods Applied to Complex Systems

Formal Methods Applied to Complex Systems

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

2 949 kr

Static Analysis of Software

Static Analysis of Software

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

2 849 kr

Safety of Computer Architectures

Safety of Computer Architectures

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

2 539 kr

Certifiable Software Applications 4
  • Nyhet

Certifiable Software Applications 4

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

1 669 kr