Limitar la búsqueda a ejemplares disponibles
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
MATERIAS ESPAÑOL (1-13 de 13)
Software -- Verificación
1

Cubierta del libro
The art of software testing / Glenford J. Myers, Tom Badgett, Corey Sandler
Myers, Glenford J.
Hoboken (New Jersey) : John Wiley & Sons,

MAT. IMPRESO
2012
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Sala  PROG 99(1)    PRÉSTAMO LARGO  DISPONIBLE
2

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 908    PRÉSTAMO LARGO  DISPONIBLE
3

Cubierta del libro
MAT. IMPRESO
1987
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-ITEO 72    CONSULTAR DEPT  DISPONIBLE
4

Cubierta del libro
The Foundations of program verification / Jacques Loeckx and Kurt Sieber ; in collaboration with Rya
Loeckx, Jacques
Stuttgart : Teubner ; Chichester [etc.] : John Wiley and Sons,

MAT. IMPRESO
1984
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-ITEO 16    CONSULTAR DEPT  DISPONIBLE
5

Cubierta del libro
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled
Clarke, Edmund M.
Cambridge, Massachusetts ; London : MIT Press,

MAT. IMPRESO
1999
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-SOFI 284    CONSULTAR DEPT  DISPONIBLE
6

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 1032    PRÉSTAMO LARGO  DISPONIBLE
7

Cubierta del libro
Software engineering : analysis and verification / T. G. Lewis
Lewis, Theodore Gyle
Reston, Virginia : Reston Publishing Company,

MAT. IMPRESO
1982
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-SOFI 9    CONSULTAR DEPT  DISPONIBLE
8

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 341    PRÉSTAMO LARGO  DISPONIBLE
9

Cubierta del libro
Software testing and evaluation / Richard A. DeMillo ... [et al.]

Menlo Park, California [etc.] : Benjamin Cummings Publishing,

MAT. IMPRESO
1987
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-TEST 19    CONSULTAR DEPT  DISPONIBLE
10

Cubierta del libro
MAT. IMPRESO
1981
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-PROC 15    PRÉSTAMO LARGO  DISPONIBLE
11

Cubierta del libro
Software verification and validation : realistic project approaches / Michael S. Deutsch
Deutsch, Michael S.
Englewood Cliffs, New Jersey : Prentice-Hall,

MAT. IMPRESO
1982
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-TEST 26    CONSULTAR DEPT  DISPONIBLE
12

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B. Econ. y Empr. Paraiso-Depósito  E 18-265    PRÉSTAMO LARGO  DISPONIBLE
 EINA.Informática/Sistemas  IS-ITEO 5    CONSULTAR DEPT  DISPONIBLE
13

Cubierta del libro
Verification of digital and hybrid systems : [proceedings of the NATO Advanced Study Institute on Ve
NATO Advanced Study Institute on Verification of Digital and Hybrid Systems (1997. Antalya, Turquía)
Berlin [etc.] : Springer,

MAT. IMPRESO
2000
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-SLAU 102    CONSULTAR DEPT  DISPONIBLE
Guardar los marcados Guardar todos de la página
Localizar en resultados