Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Bøger - Springer London Ltd - 9781447152590 - 2. juli 2013
Ved uoverensstemmelse mellem cover og titel gælder titel

Using Event-B for Critical Device Software Systems 2013 edition

Neeraj Kumar Singh

Pris
Kč 2.864

Bestilles fra fjernlager

Forventes klar til forsendelse 8. - 14. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes 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).

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 2. juli 2013
ISBN13 9781447152590
Forlag Springer London Ltd
Antal sider 326
Mål 155 × 235 × 20 mm   ·   707 g
Sprog Engelsk  
Vis alle

Mere med Neeraj Kumar Singh

Se alt med Neeraj Kumar Singh ( f.eks. Paperback Bog og Hardcover bog )