Introduction to the formal design of real-time systems - Info and Reading Options
By Gray, David
"Introduction to the formal design of real-time systems" was published by Springer in 1999 - London, it has 461 pages and the language of the book is English.
“Introduction to the formal design of real-time systems” Metadata:
- Title: ➤ Introduction to the formal design of real-time systems
- Author: Gray, David
- Language: English
- Number of Pages: 461
- Publisher: Springer
- Publish Date: 1999
- Publish Location: London
“Introduction to the formal design of real-time systems” Subjects and Themes:
- Subjects: ➤ Real-time data processing - System design - Echtzeitsystem - Systèmes, Conception de - Echtzeitverarbeitung - Systementwurf - Temps réel - Prozessalgebra
Edition Specifications:
- Pagination: xiii, 461 p. :
Edition Identifiers:
- The Open Library ID: OL682548M - OL2699356W
- Online Computer Library Center (OCLC) ID: 37457758
- Library of Congress Control Number (LCCN): 97029239
- ISBN-13: 9783540761402 - 9781447108894
- ISBN-10: 3540761403
- All ISBNs: 3540761403 - 9783540761402 - 9781447108894
AI-generated Review of “Introduction to the formal design of real-time systems”:
"Introduction to the formal design of real-time systems" Description:
Open Data:
The design of concurrent and real-time systems is difficult. It is even more difficult to design them correctly. Introduction to the Formal Design of Real Time Systems is based on the premise that in order to design things correctly it is necessary to thoroughly understand the design as it evolves from problem definition through to solution validation and, though the simplest way to maintain such an understanding is from within a formal mathematical framework, this will only be effective if the framework is simple to understand and easy to use. This book is based on courses given to undergraduate and masters students in Electrical Engineering, Information Technology and Computer Science, and backed by copious worked examples
Read “Introduction to the formal design of real-time systems”:
Read “Introduction to the formal design of real-time systems” by choosing from the options below.
Search for “Introduction to the formal design of real-time systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Introduction to the formal design of real-time systems” in Libraries Near You:
Read or borrow “Introduction to the formal design of real-time systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Introduction to the formal design of real-time systems” at a library near you.
Buy “Introduction to the formal design of real-time systems” online:
Shop for “Introduction to the formal design of real-time systems” on popular online marketplaces.
- Ebay: New and used books.