Okładka
kod QR

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...

Szczegółowa specyfikacja

Zapisane w:
1. autor: Kurki-Suonio, reino (autor)
Format: Książka
Język:angielski
Wydane: Berlín, Alemania : Springer, 2005, c2005
Seria:(Texts in Theoretical Computer Science An EATCS Series)
Hasła przedmiotowe:
Cómputo Distribuido
Programación Orientada a Objetos
Programación (Software) - > Teoría - > Tema Principal
Programación (Software) - > Tema Principal
Desarrollo de Sistemas
Sistemas en Tiempo Real
Sistemas Computacionales - > Tema Principal
Ingeniería de Software
Ingeniería Computacional
Dostęp online:Ver documento en línea
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Streszczenie: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 interfaces. 9) Sistemas distribuidos. 10) Sistemas en tiempo real. 11) Reexaminando la teoría.
Opis fizyczny:1 libro electrónico en línea (XXI, 418 p.)
1 recurso en línea
ISBN:978-3-540-27348-6
Ograniczenie dostępu:Licencias ilimitadas

Podobne zapisy