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
06-12-2014
9781489993953
INGLES
im.bajo demanda
PVP
171.26 € 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€