A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /

Guardado en:
Autor Principal: Kurki-Suonio, Reino.
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
Series:Texts in Theoretical Computer Science An EATCS Series
Materias:
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!