Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Böcker - Springer London Ltd - 9781447157908 - 7 juli 2015
Om omslag och titel inte matchar är det titeln som gäller

Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition

Pris
SEK 1.079

Beställningsvara

Förväntad leverans 23 - 31 jul
Få avisering om nya utgåvor med Neeraj Kumar Singh

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även som:

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).

326 pages, 20 black & white tables, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 7 juli 2015
Ursprungligen utgiven 2013
ISBN13 9781447157908
Utgivare Springer London Ltd
Antal sidor 326
Mått 155 × 235 × 18 mm   ·   522 g
Språk Engelska  

Fler produkter med Neeraj Kumar Singh

Visa alla

Mer från samma **utgivare**

Se alt med Neeraj Kumar Singh ( t.ex. Pocketbok och Inbunden Bok )