Search Books

Specifying real-time systems with interval logic (SuDoc NAS 1.26:181804)

Author John Rushby
Publisher National Aeronautics and Space Administration, Langley Research Center National Technical Informatio
📄 Viewing lite version Full site ›
🌎 Shop on Amazon — choose country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
⌛ 🇮🇳 India pricing being fetched… Prices will appear once fetched — usually within a few minutes.
View in: 🇺🇸 USA
Share:
Book Details
Author(s)John Rushby
PublisherNational Aeronautics and Space Administration, Langley Research Center National Technical Informatio
ISBN / ASINB00010NQLE
ISBN-13978B00010NQL9
MarketplaceIndia 🇮🇳