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: 101.49 EUR
Availability: OutOfStock
Author: Neeraj Kumar Singh

Cena

€ 101,49

Objednané zo vzdialeného skladu

Očakávané doručenie 5. - 13. aug

Dostávajte upozornenia na nové nahrávky interpreta Neeraj Kumar Singh

Naši zákazníci hovoria:

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

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

Paperback Book

2013 edition

(2015) € 101,49

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

Médium	Knihy Hardcover Book (Kniha s pevnou väzbou a obalom)
Vydané	02. júla 2013
ISBN13	9781447152590
Vydavatelia	Springer London Ltd
Strany	326
Rozmery	155 × 235 × 20 mm · 707 g
Jazyk	Angličtina