Visit our Christmas Gift Finder
Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings - Lecture Notes in Computer Science 600 (Paperback)
  • Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings - Lecture Notes in Computer Science 600 (Paperback)
zoom

Real-Time: Theory in Practice: REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings - Lecture Notes in Computer Science 600 (Paperback)

(editor), (editor), (editor), (editor)
£117.00
Paperback 723 Pages / Published: 24/06/1992
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540555643
Number of pages: 723
Weight: 2250 g
Dimensions: 250 x 170 x 37 mm
Edition: 1992 ed.

You may also be interested in...

Machine Learning
Added to basket
The Singularity Is Near
Added to basket
Deep Learning
Added to basket
£39.99
Paperback
Experience Design
Added to basket
£26.99
Paperback
Programming Computer Vision with Python
Added to basket
Don't Make Me Think, Revisited
Added to basket
Using Docker
Added to basket
£47.99
Paperback
Thoughtful Machine Learning
Added to basket
Artificial Intelligence: The Basics
Added to basket
Data Analysis with Open Source Tools
Added to basket
Portfolio, programme and project offices
Added to basket
Physical Computation
Added to basket
Computer Science Illuminated
Added to basket
Quantum Computing
Added to basket
Computing with Quantum Cats
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.