All Formats & Editions
1 - 2 of 2 results found
Foundations of Real-Time Computing: Formal Spec...
Edition Description
This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the...
Edition Details
Format:Hardcover
Language:English
ISBN:0792391675
Format: Hardcover
Condition:
$
169.99
Foundations of Real-Time Computing: Formal Spec...
Edition Description
This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the...
Edition Details
Format:Paperback
Language:English
ISBN:1461367964
Format: Paperback
Condition:
$
169.99
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
