Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Kirjat - Springer London Ltd - 9781447157908 - tiistai 7. heinäkuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 101,49

Tilattu etävarastosta

Arvioitu toimitus pe - ma 9. - 19. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 7. heinäkuuta 2015
Alunperin julkaistu 2013
ISBN13 9781447157908
Tuottaja Springer London Ltd
Sivujen määrä 326
Mitta 155 × 235 × 18 mm   ·   522 g
Kieli Englanti  

Lisää tuotteita Neeraj Kumar Singh

Näytä kaikki

Katso kaikki joka sisältää Neeraj Kumar Singh ( Esim. Paperback Book Ja Hardcover Book )