Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Knjige - Springer London Ltd - 9781447157908 - 7. julija 2015
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 96,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 11. - 19. jun

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Na voljo tudi kot:

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 7. julija 2015
Prvotni datum izida 2013
ISBN13 9781447157908
Založniki Springer London Ltd
Strani 326
Dimenzije 155 × 235 × 18 mm   ·   522 g
Jezik Angleščina  

Več od Neeraj Kumar Singh

Prikaži vse

Mere med samme udgiver

Ogled vseh Neeraj Kumar Singh ( Na primer Paperback Book in Hardcover Book )