Servicios de Información y Documentación

Biblioteca

Término solicitado: HENSON, MARTIN/(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)



Fin

[Página de Inicio] [Nueva Búsqueda][Página Anterior]