Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial (Eng
149,29 €
By Jean-Raymond Abrial. Author Jean-Raymond Abrial. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind.
Jetzt bei Ebay:
