For safety-critical computer sustems, like air-traffic control or security systems, real-time development is crucial. This book covers state-of-art developments of formal methods for creating real-time systems that will satisfy critical timing requirements. It demonstrates the techniques and applications needed for developing such systems.
Read More
For safety-critical computer sustems, like air-traffic control or security systems, real-time development is crucial. This book covers state-of-art developments of formal methods for creating real-time systems that will satisfy critical timing requirements. It demonstrates the techniques and applications needed for developing such systems.
Read Less
Add this copy of Formal Methods for Real-Time Computing to cart. $125.51, good condition, Sold by Phatpocket Limited rated 4.0 out of 5 stars, ships from Waltham Abbey, ESSEX, UNITED KINGDOM, published 1996 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
