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 )