Modeling in Event-B: System and Software Engineering - Jean-Raymond Abrial - Kirjat - Cambridge University Press - 9780521895569 - torstai 13. toukokuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Modeling in Event-B: System and Software Engineering

Jean-Raymond Abrial

Hinta
CA$ 305,79

Tilattu etävarastosta

Arvioitu toimitus ke - to 2. - 10. heinä

Asiakkaamme sanovat:

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

Modeling in Event-B: System and Software Engineering

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.

612 pages, 170 b/w illus. 30 exercises

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 13. toukokuuta 2010
ISBN13 9780521895569
Tuottaja Cambridge University Press
Sivujen määrä 612
Mitta 192 × 251 × 37 mm   ·   1,32 kg
Kieli English  
Näytä kaikki

Lisää tuotteita Jean-Raymond Abrial

Muutkin ovat ostaneet

Katso kaikki joka sisältää Jean-Raymond Abrial ( Esim. Paperback Book Ja Hardcover Book )