Rahva Raamat logo
Kategooriad
triangle icon
Rahva Raamat logo
Kategooriad
Raamatud
triangle icon
Audioraamatud
triangle icon
E-raamatud
triangle icon
Mängud
triangle icon
Kool ja kontor
triangle icon
Kingitused
triangle icon
Muusika ja filmid
triangle icon
Tehnika
triangle icon
Allahindlused
triangle icon
delivery icon

Kohaletoimetamine on tasuta!

home icon

Modeling in Event-B

ra icon

Modeling in Event-B

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.
basket icon

Toode on otsas