Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

New
Paperback
2012
$54.84

The research contained in this book represents work on the specification and verification of real-time systems using CSP.

Synopsis

The research contained in this book represents work on the specification and verification of real-time systems using CSP.

$54.84

Quantity

10 in stock

More Information

Format: Paperback
Pages: 200
Edition: 1
Publisher: Cambridge University Press
Published: 12 Jan 2012
ISBN 10: 1107403863
ISBN 13: 9781107403864

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

New

$54.84

Synopsis

$54.84

More Information