Modellierung in Event-B: System- und Softwareentwicklung von Jean-Raymond Abrial (eng.
209,40 €
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:
