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

$103.00

$23.98

$103.00

$23.98

add to cart choose option

Introduction to Real-Time Software Design

$99.00

$31.98

In 1977 I was asked to prepare aseries of twenty lectures introducing the design of real-time software to undergraduate electrical engineers at the University of Essex. At that time the advent of...

$99.00

$31.98

$99.00

$31.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

Introduction to Real-Time Software Design

Proof

The Proof Stage

Shop by Category

Recommended

About Us

More Information

Compare

Compare

Compare