ADVANCED FORMAL VERIFICATION

SPRINGER NATURE B.V.

ADVANCED FORMAL VERIFICATION

ROLF DRECHSLER

Año edición: 07-12-2010

Colección:

EAN: 9781441954206

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

ADVANCED FORMAL VERIFICATION

SPRINGER NATURE B.V.

AUTOMATIC METHODS FOR THE REFINEMENT OF SYSTEM MODELS

JULIA SEITER/ROBERT WILLE/ROLF DRECHSLER JULIA SEITER/ROBERT WILLE/ROLF DRECHSLER JULIA SEITER/ROBERT WILLE/ROLF DRECHSLER

9783319414799

68.02€

ADVANCED FORMAL VERIFICATION

SPRINGER NATURE B.V.

FORMAL SPECIFICATION LEVEL

MATHIAS SOEKEN/ROLF DRECHSLER MATHIAS SOEKEN/ROLF DRECHSLER

9783319378824

134.60€

ADVANCED FORMAL VERIFICATION

SPRINGER NATURE B.V.

HIGH QUALITY TEST PATTERN GENERATION AND BOOLEAN SATISFIABIL

ROLF DRECHSLER/STEPHAN EGGERSGLUß ROLF DRECHSLER/STEPHAN EGGERSGLUß

9781489988478

158.88€

ADVANCED FORMAL VERIFICATION

SPRINGER NATURE B.V.

GRAPHENBASIERTE FUNKTIONSDARSTELLUNG

BERND BECKER/ROLF DRECHSLER BERND BECKER/ROLF DRECHSLER

9783519021490

60.56€