Modeling in Event-B
System and Software Engineering
Inbunden, Engelska, 2010
2 219 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2010-05-13
- Mått192 x 251 x 37 mm
- Vikt1 318 g
- FormatInbunden
- SpråkEngelska
- Antal sidor612
- FörlagCambridge University Press
- ISBN9780521895569
Tillhör följande kategorier
Hoppa över listan