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

Name: Using Event-B for Critical Device Software Systems
Price: 1019 NOK
Availability: OutOfStock
Author: Neeraj Kumar Singh

Pris

NOK 1.019

Bestillingsvarer

Forventes levert 7. - 15. mai

Kundene våre sier:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Finnes også som:

Pocketbok

2013 edition

(2015) NOK 1.019

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

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

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