Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Książki - Springer London Ltd - 9781447157908 - 7 lipca 2015
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 420,90

Zamówione z odległego magazynu

Przewidywana dostawa 12 - 20 paź
Otrzymuj powiadomienia o nowych wydawnictwach Neeraj Kumar Singh

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

Również dostępne jako:

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 7 lipca 2015
Oryginalna data wydania 2013
ISBN13 9781447157908
Wydawcy Springer London Ltd
Strony 326
Wymiary 155 × 235 × 18 mm   ·   522 g
Język Angielski  

Więcej od Neeraj Kumar Singh

Pokaż wszystko

Więcej od tego samego wydawcy

Zobacz wszystko od Neeraj Kumar Singh