• Sign In
  • Help
  • My Basket0
Trends in Real-time Systems (Paperback)
  • Trends in Real-time Systems (Paperback)
zoom

Trends in Real-time Systems (Paperback)

(author), (author)
£55.00
Paperback 300 Pages / Published: 26/03/1996
  • Not available

This product is currently unavailable.

  • This item has been added to your basket

Check Marketplace availability

Developers of safety-critical systems and software lack methods for developing high quality real-time systems. The impact that these systems have on the quality and safety of human lives (for example in air traffic control systems and such like) give rise to a demand for rigorous approaches such as formal methods. Focusing on formal methods this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include programme specification, formal methods, analyzing and design of real-time systems. The book is useful reading for developers of safety critical systems and researchers in the field.

Publisher: John Wiley and Sons Ltd
ISBN: 9780471958352
Number of pages: 300
Weight: 560 g
Dimensions: 241 x 168 x 18 mm

You may also be interested in...

Alone Together
Added to basket
£13.99
Paperback
The End of Lawyers?
Added to basket
The Dark Net
Added to basket
£9.99
Paperback
Social Engineering
Added to basket
Tubes
Added to basket
£9.99
Paperback
Founders at Work
Added to basket
The New Digital Age
Added to basket
£10.99
Paperback
Advanced Google AdWords
Added to basket
BTEC First in I&CT Revision Guide
Added to basket
Untangling the Web
Added to basket
Computing with Quantum Cats
Added to basket
To Save Everything, Click Here
Added to basket
The Net Delusion
Added to basket
£10.99
Paperback
Raising Children in a Digital Age
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.