Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Knihy - Springer London Ltd - 9781447152590 - 02. júla 2013
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 101,49

Objednané zo vzdialeného skladu

Očakávané doručenie 5. - 13. nov
Vianočné darčeky je možné vrátiť do 31. januára
Dostávajte upozornenia na nové nahrávky interpreta Neeraj Kumar Singh

Naši zákazníci hovoria:

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:

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  

Viac od toho istého vydavateľa

Pozrieť všetko od Neeraj Kumar Singh