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 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000429186 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310122851.898 | ||
| 020 | |a 978-3-540-27348-6 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a 005. 101 |b KUR | ||
| 100 | |a Kurki-Suonio, reino |e (autor) | ||
| 245 | 1 | 1 | |a A Practical Theory of Reactive Systems : |b Incremental Modeling of Dynamic Behaviors / |c R. Kurki-Suonio. |
| 264 | 4 | |a Berlín, Alemania : |b Springer, |c 2005, c2005 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2005 | |
| 300 | |a 1 libro electrónico en línea (XXI, 418 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Texts in Theoretical Computer Science An EATCS Series) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a 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. | ||
| 649 | |a XX | ||
| 650 | |a Cómputo Distribuido | ||
| 650 | |a Programación Orientada a Objetos | ||
| 650 | |a Programación (Software) - |x Teoría - |x Tema Principal | ||
| 650 | |a Programación (Software) - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Sistemas en Tiempo Real | ||
| 650 | |a Sistemas Computacionales - |x Tema Principal | ||
| 650 | |a Ingeniería de Software | ||
| 650 | |a Ingeniería Computacional | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/b138956 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 429186-1 |b IT2 |c EBO |i C172346 |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000429186 | ||