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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2005, c2005
|
| Colección: | (Texts in Theoretical Computer Science An EATCS Series)
|
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Internet
Ver documento en línea| Código Dewey: |
005. 101 KUR
|
||
|---|---|---|---|
| Ejemplar 429186-1 |
Disponible
Préstamo en línea
|
Colección:
Libros electrónicos en línea
|
Notas:
Consultar en línea
|