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...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | angleščina |
| Izdano: |
Berlín, Alemania :
Springer,
2005, c2005
|
| Serija: | (Texts in Theoretical Computer Science An EATCS Series)
|
| Teme: | |
| Online dostop: | Ver documento en línea |
| Oznake: |
Brez oznak, prvi označite!
|
Podobne knjige/članki: A Practical Theory of Reactive Systems :
- The Essential CORBA : Systems Integration Using Distributed Objects /
- Real-Time Software Systems : An Introduction to Structured and Object-Oriented Design /
- Programming in the .NET Environment /
- Advanced .NET Programming /
- Introducción a la programación orientada a objetos / C.T. Wu ; tr. por Jesús Carretero Pérez, Félix García Carballeira.
- Creating Components : Object Oriented, Concurrent, and Distributed Computing in Java /