FORMAL SYSTEM VERIFICATION

SPRINGER NATURE B.V.

FORMAL SYSTEM VERIFICATION

ROLF DRECHSLER

Año edición: 10-08-2018

Colección:

EAN: 9783319862231

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

FORMAL SYSTEM VERIFICATION

SPRINGER NATURE B.V.

FORMAL SPECIFICATION LEVEL

MATHIAS SOEKEN/ROLF DRECHSLER MATHIAS SOEKEN/ROLF DRECHSLER

9783319378824

134.60€

FORMAL SYSTEM VERIFICATION

SPRINGER NATURE B.V.

AUTOMATED ANALYSIS OF VIRTUAL PROTOTYPES AT THE ELECTRONIC S

MEHRAN GOLI/ROLF DRECHSLER MEHRAN GOLI/ROLF DRECHSLER

9783030442842

109.80€

FORMAL SYSTEM VERIFICATION

SPRINGER NATURE B.V.

DESIGN FOR TESTABILITY, DEBUG AND RELIABILITY

ROLF DRECHSLER/SEBASTIAN HUHN ROLF DRECHSLER/SEBASTIAN HUHN

9783030692087

134.57€

FORMAL SYSTEM VERIFICATION

SPRINGER NATURE B.V.

DESIGN FOR TESTABILITY, DEBUG AND RELIABILITY

ROLF DRECHSLER/SEBASTIAN HUHN ROLF DRECHSLER/SEBASTIAN HUHN

9783030692100

48.34€