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

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

Pris
NOK 1.099

Bestillingsvarer

Forventes levert 7. - 15. jan 2026
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).

326 pages, 20 black & white tables, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 7. juli 2015
Opprinelig utgitt 2013
ISBN13 9781447157908
Utgivere Springer London Ltd
Antall sider 326
Mål 155 × 235 × 18 mm   ·   522 g
Språk Engelsk  

Mer med Neeraj Kumar Singh

Vis alle

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