Software Engineering 2: Specification of Systems and Languages
 |
|
Описание:
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)"Похожие книги
 | Statistical modelling with quantile functions Автор: Warren Gilchrist Год: 2000 |
| Cancer Modelling and Simulation Автор: Preziosi Luigi Год: 2003 |
| Modelling WWII Figures Автор: Jerry Scutts Год: 2000 |
 | Cancer Modelling and Simulation Автор: Luigi Preziosi Год: 2003 |
 | Modelling Ocean Climate Variability Автор: Artem S. Sarkisyan, Jürgen Sündermann Год: 2009 |
 | Modelling Methods for Energy in Buildings Автор: Chris Underwood Год: 2004 |