Specification and Proof in Real Time CSP

Name: Specification and Proof in Real Time CSP
SKU: 9780521450553
Price: 49.98 USD
Availability: InStock

Jim Davies

$134.00

$49.98

Adding to cart… The item has been added

Author

Jim Davies

Publish Date

1993-05-20

Book Type

Hardcover

Number of Pages

198

Publisher Name

ISBN-10

0521450551

ISBN-13

9780521450553

citemno

144960

SKU

9780521450553

Real-Time Systems

$103.00

$23.98

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded...

$103.00

$23.98

$103.00

$23.98

add to cart choose option

An award-winning mathematician shows how we prove what's true, and what to do when we can't How do we establish what we believe? And how can we be certain that what we believe is true? And how do we...

$32.00

add to cart choose option

The Proof Stage

$35.00

$20.98

How playwrights from Alfred Jarry and Samuel Beckett to Tom Stoppard and Simon McBurney brought the power of abstract mathematics to the human stageThe discovery of alternate geometries, paradoxes of...

$35.00

$20.98

$35.00

$20.98

add to cart choose option

Specification and Proof in Real Time CSP

Jim Davies

You Might Also Like

Shop by Category

Recommended

About Us

More Information

Specification and Proof in Real Time CSP

Jim Davies

You Might Also Like

Real-Time Systems

Proof

The Proof Stage

Shop by Category

Recommended

About Us

More Information

Compare

Compare

Compare