Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Bøker - Springer London Ltd - 9781447152590 - 2. juli 2013
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
S$ 138,50

Bestillingsvarer

Forventes levert 10. - 18. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også 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).

346 pages, 45 black & white illustrations, 20 black & white tables, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 2. juli 2013
ISBN13 9781447152590
Utgivere Springer London Ltd
Antall sider 326
Mål 155 × 235 × 20 mm   ·   707 g
Språk Engelsk  
Vis alle

Mer med Neeraj Kumar Singh

Se alt med Neeraj Kumar Singh ( f.eks. Pocketbok og Innbunden bok )