Real-Time Systems

Name: Real-Time Systems
SKU: 9780521883337
Price: 23.98 USD
Availability: InStock

Olderog, E. R. & Henning Dierks

$103.00

$23.98

Adding to cart… The item has been added

Author

Olderog, E. R. & Henning Dierks

Publish Date

20080911

Subtitle

Formal Specification and Automatic Verification

Book Type

Hardcover

Number of Pages

344

Publisher Name

ISBN-10

0521883334

ISBN-13

9780521883337

citemno

117748

Subject

Computers, Technology & Engineering

SKU

9780521883337

Specification and Proof in Real Time CSP

$134.00

$49.98

$134.00

$49.98

$134.00

$49.98

add to cart choose option

The Real Real Thing

$32.50

$22.00

Our era is defined by the model. From Victoria’s Secret and America’s Next Top Model to the snapshots we post on Facebook and Twitter, our culture is fixated on the pose, the state of existing...

$32.50

$22.00

$32.50

$22.00

add to cart choose option

For those engineers and scientists who use computers to solve their problems only to discover new, subtle problems in their results, this book is a welcome quick guide to trouble-shooting. Offering...

$49.95

$26.98

$49.95

$26.98

add to cart choose option

Real Clothes, Real Lives

$60.00

An unprecedented look at women’s everyday clothes—from Sylvia Plath’s Girl Scout uniform to psychedelic microminis, modern suits, and fast-food workers’ uniforms—this fascinating volume shows how...

$60.00

add to cart choose option

Real-Time Systems

Olderog, E. R. & Henning Dierks

You Might Also Like

Shop by Category

Recommended

About Us

More Information

Real-Time Systems

Olderog, E. R. & Henning Dierks

You Might Also Like

Specification and Proof in Real Time CSP

The Real Real Thing

Real Computing Made Real

Real Clothes, Real Lives

Shop by Category

Recommended

About Us

More Information

Compare

Compare

Compare