Mostrando
1 - 4
Resultados de
4
Para Buscar '
Drusinsky, Doron
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Drusinsky, Doron
Skip recommendations
Mostrando
1 - 4
Resultados de
4
Para Buscar '
Drusinsky, Doron
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Modeling and Verification Using UML Statecharts : a Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking.
por
Drusinsky, Doron
Publicado 2006
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
eBook
Código QR
2
Cargando…
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
por
Drusinsky, Doron
Publicado 2006
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Texto completo
Electrónico
eBook
Código QR
3
Cargando…
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
por
Drusinsky, Doron
Publicado 2006
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo (Requiere registro previo con correo institucional)
Electrónico
eBook
Código QR
4
Cargando…
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
por
Drusinsky, Doron
Publicado 2006
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto completo
Electrónico
eBook
Código QR
Temas relacionados
Computer software
Development
Formal methods (Computer science)
UML (Computer science)
UML (Informatique)
Logiciels
Méthodes formelles (Informatique)
Développement
D�eveloppement
M�ethodes formelles (Informatique)