From the reviews:"The present volume is the second one of a trilogy on formal development of large scale systems. Each topic is presented by means of many examples . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification tools provide the reader with a comprehensive understanding . the book appeals to researchers and to practitioners involved in language specification and modelling of real time and concurrent systems. (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)"

Скачать книгу бесплатно (pdf, 39.79 Mb)

---

Читать «Software Engineering 2: Specification of Systems and Languages»