Fortell venner om denne varen:
Modeling in Event-B: System and Software Engineering Jean-Raymond Abrial
Pris
NOK 1.949
Bestillingsvarer
Forventes levert 13. - 21. okt
Få varsel om nye utgivelser fra Jean-Raymond Abrial
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 13. mai 2010 |
| ISBN13 | 9780521895569 |
| Utgivere | Cambridge University Press |
| Antall sider | 612 |
| Mål | 192 × 251 × 37 mm · 1,32 kg |
| Språk | Engelsk |
