Introduction to the Formal Design of Real-Time Systems Image close
Introduction to the Formal Design of Real-Time Systems by David F Gray
Introduction to the Formal Design of Real-Time Systems by David F Gray
Show Hide Adult Content
Introduction to the Formal Design of Real-Time Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Systems analysis & design

Introduction to the Formal Design of Real-Time Systems

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$138.99
RRP:
$180.95 save $41.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

Explore more Applied Computing

See all products in this series

Correct Systems by Mike Holcombe Save $45
$134.99
$180.95
Correct Systems
by Mike Holcombe ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Object Oriented Computer Systems Engineering by Derrick Morris Save $44
$135.99
$180.95
Object Oriented Computer Systems Engineering
by Derrick Morris ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering by Linda A Macaulay Save $45
$134.99
$180.95
Requirements Engineering
by Linda A Macaulay ~ Paperback / softback
Available - Usually ships in 3-4 weeks
User-Centred Design of Systems by Jan Noyes
$135.99
User-Centred Design of Systems
by Jan Noyes ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Ergonomics of Computer Pointing Devices by Anant Kartik Mithal Save $52
$134.99
$187.95
The Ergonomics of Computer Pointing Devices
by Anant Kartik Mithal ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Multimedia Systems by Tim Morris Save $16
$134.99
$151.95
Multimedia Systems
by Tim Morris ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Translation Engines: Techniques for Machine Translation by Arturo Trujillo Save $37
$135.99
$173.95
Translation Engines: Techniques for Machine Translation
by Arturo Trujillo ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge-Based Image Processing Systems by Deryn Graham
$130.99
Knowledge-Based Image Processing Systems
by Deryn Graham ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Model-Based Design and Evaluation of Interactive Applications by Fabio Paterno Save $38
$134.99
$173.95
Model-Based Design and Evaluation of Interactive Applications
by Fabio Paterno ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Web Development by Arno Scharl
$164.99
Evolutionary Web Development
by Arno Scharl ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The design of concurrent and real-time systems is difficult. It is even more difficult to design them correctly. Introduction to the Formal Design of Real Time Systems is based on the premise that in order to design things correctly it is necessary to thoroughly understand the design as it evolves from problem definition through to solution validation and, though the simplest way to maintain such an understanding is from within a formal mathematical framework, this will only be effective if the framework is simple to understand and easy to use. This book is based on courses given to undergraduate and masters students in Electrical Engineering, Information Technology and Computer Science, and backed by copious worked examples.
Release date Australia
November 1st, 1998
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 1999
Illustrations
18 Illustrations, black and white; XIII, 461 p. 18 illus.
Pages
461
Dimensions
156x234x24
ISBN-13
9783540761402
Product ID
13119873

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by David F Gray

See all books by this author

Gamble's Run by David F Gray
$45.99
Gamble's Run
by David F Gray ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Observation and Analysis of Stellar Photospheres by David F Gray
$176.99
The Observation and Analysis of Stellar Photospheres
by David F Gray ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Barriers by David F Gray 16% off!
$35.99
$42.99
Barriers
by David F Gray ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Vegas Rift by David F Gray 20% off!
$54.99
$68.99
The Vegas Rift
by David F Gray ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Lovecraft in a Time of Madness by Thomas Parrot 19% off!
$51.99
$63.99
Lovecraft in a Time of Madness
by Thomas Parrot ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Systems analysis & design
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design >
Parallel processing
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design >
Parallel processing