A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors /
Contiene: 1) Componentes de una teoría. 2) Hacia un lenguaje de acción. 3) Propiedades formales de los comportamientos. 4) Demostrar propiedades conductuales. 5) Instalaciones lingüísticas básicas. 6) Fundamentos de la metodología del diseño. 7) Orientación a objetos elaborada. 8) Componentes e inte...
Збережено в:
| Автор: | |
|---|---|
| Формат: | Книга |
| Мова: | Англійська |
| Опубліковано: |
Berlín, Alemania :
Springer,
2005, c2005
|
| Серія: | (Texts in Theoretical Computer Science An EATCS Series)
|
| Предмети: | |
| Онлайн доступ: | Ver documento en línea |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Будьте першим, хто залишить коментар!