
Vinkkaa tuotetta kavereillesi:
Using Event-B for Critical Device Software Systems 2013 edition
Neeraj Kumar Singh
Hinta
₺ 4.765,20
Tilattu etävarastosta
Arvioitu toimitus ke - to 23. - 31. heinä
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
Using Event-B for Critical Device Software Systems 2013 edition
Neeraj Kumar Singh
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 | English |
Näytä kaikki
Lisää tuotteita Neeraj Kumar Singh
Katso kaikki joka sisältää Neeraj Kumar Singh ( Esim. Paperback Book Ja Hardcover Book )