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 ...
Read More
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.
Read Less
Add this copy of Real-Time: Theory in Practice: Rex Workshop, Mook, the to cart. $19.84, very good condition, Sold by GuthrieBooks rated 4.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2008 by Springer.
Add this copy of Real-Time: Theory in Practice: Rex Workshop, Mook, the to cart. $54.22, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1992 by Springer.
Add this copy of Real-Time: Theory in Practice: Rex Workshop, Mook, the to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1992 by Springer.
Add this copy of Real-Time: Theory in Practice: Rex Workshop, Mook, the to cart. $121.04, like new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1992 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 723 p. Contains: Unspecified. Lecture Notes in Computer Science, 600. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Real-Time: Theory in Practice: Rex Workshop, Mook, the to cart. $122.42, new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1992 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 723 p. Contains: Unspecified. Lecture Notes in Computer Science, 600. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Real-Time: Theory in Practice: Rex Workshop, Mook, the to cart. $123.74, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1992 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 723 p. Contains: Unspecified. Lecture Notes in Computer Science, 600. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Real-Time: Theory in Practice: Rex Workshop, Mook, the to cart. $123.74, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1992 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 723 p. Contains: Unspecified. Lecture Notes in Computer Science, 600. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
