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

Using Event-B for Critical Device Software Systems 2013 edition

Neeraj Kumar Singh

Normaali hinta
Mex$ 3.565,10
Hinta
Mex$ 2.206,60
Säästät
38%

Tilattu etävarastosta

Arvioitu toimitus ti - ke 1. - 9. heinä

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

Using Event-B for Critical Device Software Systems 2013 edition

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   ·   485 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 )