Static analysis of software the abstract interpretation
| Formato: | Libro electrónico |
|---|---|
| Idioma: | Inglés |
| Materias: | |
| Acceso en línea: | Acceso restringido con credenciales, usuarios UPSA |
| Ver en Biblioteca de la Universidad Pontificia de Salamanca: | https://koha.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=724001 |
Solicitar por préstamo interbibliotecario:
Correo
| Formulario
| Notas: | Autor/es: Boulanger, Jean-Louis. |
|---|---|
| Descripción Física: | 1 recurso en línea xiv, 331 p. : ill |
| ISBN: | 9781118602843 |
| Acceso: | Acceso restringido con credenciales, usuarios UPSA |
