Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Kirjat - Springer London Ltd - 9781447152590 - tiistai 2. heinäkuuta 2013
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
zł 429,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. joulu
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).

346 pages, 45 black & white illustrations, 20 black & white tables, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 2. heinäkuuta 2013
ISBN13 9781447152590
Tuottaja Springer London Ltd
Sivujen määrä 326
Mitta 155 × 235 × 20 mm   ·   707 g
Kieli Englanti  
Näytä kaikki

Lisää tuotteita Neeraj Kumar Singh

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