2109:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780521895569
- Språk: Engelska
- Antal sidor: 612
- Utgivningsdatum: 2010-05-13
- Förlag: Cambridge University Press