Hoppa till sidans huvudinnehåll

B Method

Inbunden, Engelska, 2020

Av Jean-Louis Boulanger

1 679 kr

Kommande

Produktinformation

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

Tillhör följande kategorier

Hoppa över listan

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 809 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 469 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 189 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 679 kr

Safety of Computer Architectures

Safety of Computer Architectures

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

2 519 kr

Static Analysis of Software

Static Analysis of Software

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

2 819 kr

Formal Methods

Formal Methods

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

2 449 kr

Industrial Use of Formal Methods

Industrial Use of Formal Methods

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

2 289 kr

Safety of Software–based Systems

Safety of Software–based Systems

Jean–Louis Boulanger

2 119 kr

Safety Management for Software-based Equipment

Safety Management for Software-based Equipment

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

2 449 kr

Hoppa över listan

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

Formal Methods

Formal Methods

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

2 449 kr

Expression Et Validation Des Exigences de S�curit�

Expression Et Validation Des Exigences de S�curit�

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

2 009 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 809 kr

Formal Methods Applied to Complex Systems

Formal Methods Applied to Complex Systems

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

2 869 kr

Static Analysis of Software

Static Analysis of Software

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

2 819 kr

Safety of Computer Architectures

Safety of Computer Architectures

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

2 519 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 679 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 189 kr

Industrial Use of Formal Methods

Industrial Use of Formal Methods

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

2 289 kr