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

Using Event-B for Critical Device Software Systems 2013 edition

Neeraj Kumar Singh

Førpris
zł 795,90
Pris
zł 492,90
Du sparer
38%

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 7. 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).

326 pages, 20 black & white tables, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 7. juli 2015
Oprindeligt udgivet 2013
ISBN13 9781447157908
Forlag Springer London Ltd
Antal sider 326
Mål 155 × 235 × 18 mm   ·   485 g
Sprog Engelsk  
Vis alle

Mere med Neeraj Kumar Singh

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