Término solicitado: SCHNEIDER, STEVE/(22)
2 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) |
| Tipo de Docum.: | congreso; Libro electrónico |
| Título: | Formal Aspects in Security and Trust (vol. # 3866) |
| Autor: | Dimitrakos, Theo; Martinelli, Fabio; Ryan, Peter Y.A.; Schneider, Steve |
| Título Ser./Col.: | Lecture Notes in Computer Science;3866 |
| Datos de Edición: | SPRINGER. 2006. |
| Descriptores: | Computer Science |
URL: |
http://dx.doi.org/10.1007/11679219 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
URL: |
http://www.springerlink.com/openurl.asp?genre=book&isbn=3-540-32628-6 (Sólo accesible a usuarios de la biblioteca electrónica del MinCyT) |
Fin
[Página de Inicio] [Nueva Búsqueda][Página Anterior]