Omslagsbillede
Código 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...

Fuld beskrivelse

Guardado en:
Hovedforfatter: Kurki-Suonio, reino (autor)
Format: Bog
Sprog:engelsk
Udgivet: Berlín, Alemania : Springer, 2005, c2005
Serier:(Texts in Theoretical Computer Science An EATCS Series)
Fag:
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
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

MARC

LEADER 00000nam^a2200000^a^4500
001 000429186
005 20251023000000.0
009 20260526144626.253
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 

Lignende værker