Pastāsti draugiem par šo preci:
Modeling in Event-B: System and Software Engineering Jean-Raymond Abrial
Cena
€ 201,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 4. - 12. aug.
Saņemiet paziņojumus par jauniem Jean-Raymond Abrial izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Modeling in Event-B: System and Software Engineering
Jean-Raymond Abrial
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2010. gada 13. maijs |
| ISBN13 | 9780521895569 |
| Izdevēji | Cambridge University Press |
| Lapas | 612 |
| Izmēri | 192 × 251 × 37 mm · 1,32 kg |
| Valoda | Angļu |
Vairāk no tā paša izdevēja
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/100/9781009694100.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-paperback-book&class=scaled&v=1781538992)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/124/9781009694124.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-hardcover-book&class=scaled&v=1781538969)
![Cover for Fontaine, Lise (Universite du Quebec a Trois-Rivieres) · Analysing English Grammar: A Systemic Functional Introduction (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/905/9781009437905.jpg?fontaine-lise-universite-du-quebec-a-trois-rivieres-2027-analysing-english-grammar-a-systemic-functional-introduction-paperback-book&class=scaled&v=1781538937)
Skatīt visus Jean-Raymond Abrial ( piem., Paperback Book un Hardcover Book )