SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SY

SPRINGER NATURE B.V.

SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SY

JOZEF HOOMAN

Año edición: 27-11-1991

Colección:

EAN: 9783540549475

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SY

CAMBRIDGE UNIVERSITY PRESS

CONCURRENCY VERIFICATION

FRANK DE BOER/JOZEF HOOMAN/WILLEM-PAUL D FRANK DE BOER/JOZEF HOOMAN/WILLEM-PAUL D FRANK DE BOER/JOZEF HOOMAN/WILLEM-PAUL D

9780521806084

344.12€

SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SY

SPRINGER NATURE B.V.

SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SY

9783540549475

66.47€