Búsqueda avanzada
ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING
SPRINGER NATURE B.V.

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

CHAO WANG / FABIO SOMENZI / GARY D. HACHTEL
20-07-2006
9780387341552
INGLES
im.bajo demanda
PVP
133.01 € IBD

Más libros del autor

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

SPRINGER NATURE B.V.

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL

9781489993953

171.26€
ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

SPRINGER NATURE B.V.

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING

CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL CHAO WANG/FABIO SOMENZI/GARY D. HACHTEL

9780387341552

133.01€