Vertel uw vrienden over dit artikel:
Modeling in Event-B: System and Software Engineering Jean-Raymond Abrial
Prijs
€ 190,99
Besteld in een afgelegen magazijn
Verwachte levering 22 - 30 okt.
Ontvang meldingen over nieuwe releases van Jean-Raymond Abrial
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 13 mei 2010 |
| ISBN13 | 9780521895569 |
| Uitgevers | Cambridge University Press |
| Pagina's | 612 |
| Afmetingen | 192 × 251 × 37 mm · 1,32 kg |
| Taal en grammatica | Engels |
