B Method

AvJean-Louis Boulanger

Inbunden, Engelska, 2020

1 325 kr

Kommande

Produktinformation

Utgivningsdatum:2020-12-15
Format:Inbunden
Språk:Engelska
Antal sidor:300
Förlag:Iste Press - Elsevier
ISBN:9781785481567

Mer från samma författare

Certifiable Software Applications 3

Jean-Louis Boulanger

E-bok

2018

1 883 kr

Certifiable Software Applications 2

Jean-Louis Boulanger

E-bok

2016

1 445 kr

Certifiable Software Applications 1

Jean-Louis Boulanger

E-bok

2016

1 445 kr

Safety Management for Software-based Equipment

Jean-Louis Boulanger

E-bok

2013

2 193 kr

Safety Management for Software-based Equipment

Jean-Louis Boulanger

E-bok

2013

2 193 kr

Industrial Use of Formal Methods

Jean-Louis Boulanger

E-bok

2013

2 193 kr

Industrial Use of Formal Methods

Jean-Louis Boulanger

E-bok

2012

2 193 kr

Safety of Computer Architectures

Jean-Louis Boulanger

E-bok

2013

2 193 kr

Safety of Computer Architectures

Jean-Louis Boulanger

E-bok

2013

2 193 kr

Static Analysis of Software

Jean-Louis Boulanger

E-bok

2013

2 534 kr

Du kanske också är intresserad av

The Aptamers Ligands: Powerful Tools from Molecular Evolution

Gerald Perret, Frederic Duconge

Inbunden, 2020

1 001 kr

Functional Analysis

Frederic Magoules, Anna Rozanova-Pierrat

Inbunden, 2020

1 436 kr

Applications logicielles certifiables 2

Jean-Louis Boulanger

604 kr

Formal Methods

Jean-Louis Boulanger

E-bok

2013

2 193 kr

Formal Methods

Jean-Louis Boulanger

Inbunden, 2012

1 925 kr

Certifiable Software Applications 1

Jean-Louis Boulanger

Inbunden, 2016

1 428 kr

Industrial Use of Formal Methods

Jean-Louis Boulanger

E-bok

2012

2 193 kr

Safety Management for Software-based Equipment

Jean-Louis Boulanger

E-bok

2013

2 193 kr

Numerical Linear Algebra

Frederic Magoules, Abal-Kassim Cheik Ahamed

Inbunden, 2018

1 187 kr

Safety of Computer Architectures

Jean-Louis Boulanger

E-bok

2013

2 193 kr