Término solicitado: KREOWSKI, HANS-JORG/(22)
1 Registro/s encontrado/s en CAT
| Tipo de Docum.: | congreso; Libro electrónico |
| Título: | Formal Methods in Software and Systems Modeling |
| Autor: | Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele |
| Título Ser./Col.: | Lecture Notes in Computer Science;3393 |
| Datos de Edición: | SPRINGER. 2005. |
| Descriptores: | Computer Science |
URL: |
http://dx.doi.org/10.1007/b106390 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-24936-8 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Fin
[Página de Inicio] [Nueva Búsqueda][Página Anterior]