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

Using Event-B for Critical Device Software Systems 2013 edition

Neeraj Kumar Singh

Vanlig pris
₺ 6.718
Pris
₺ 4.158
Du sparer
38%

Bestillingsvarer

Forventes levert 1. - 9. jul

Kundene våre sier:

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

Finnes også som:

Using Event-B for Critical Device Software Systems 2013 edition

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   ·   485 g
Språk Engelsk  
Vis alle

Mer med Neeraj Kumar Singh

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