libcats.org
Главная →
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Doron Drusinsky
Популярные книги за неделю:
Только что пользователи скачали эти книги:
Computational Science and Its Applications - ICCSA 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I
Автор: Marina Gavrilova, Автор: Osvaldo Gervasi, Автор: Vipin Kumar, Автор: C.J. Kenneth Tan, Автор: David Taniar, Автор: Antonio Laganà, Автор: Youngsong Mun, Автор: Hyunseung Choo
|