Término solicitado: KING, STEVE/(22)
1 Registro/s encontrado/s en CAT+NORMA
Tipo de Docum.: | congreso; Libro electrónico |
Título: | ZB 2005: Formal Specification and Development in Z and B |
Autor: | Henson, Martin; King, Steve; Schneider, Steve; Treharne, Helen |
Título Ser./Col.: | Lecture Notes in Computer Science;3455 |
Datos de Edición: | SPRINGER. 2005. |
Descriptores: | Computer Science; Ciencia de la Computación |
URL: |
http://dx.doi.org/10.1007/b135596 (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-25559-8 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
[Página de Inicio] [Nueva Búsqueda][Página Anterior]