Specification and Proof in Real Time CSP

Número de Cutter-SanbornD256sEntrada «Davies, J.» → 256 · marca de obra “s”

Specification and Proof in Real Time CSP

de Jim Davies

Materias

Real-time data processing

Ediciones (3)

Specification and Proof in Real Time CSP (2012)
University of Cambridge ESOL Examinations · inglés · ISBN 9781107403864
Specification and Proof in Real Time CSP (2012)
Cambridge University Press · inglés · ISBN 9781139243254
Specification and Proof in Real Time CSP (2010)
Cambridge University Press · inglés · ISBN 9780511569760

Más obras de Jim Davies

Tapa de Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications