Book Search Results
Modeling And Verification Of Real Time Systems by Nicolas Navet
Find "Modeling And Verification Of Real Time Systems" by Nicolas Navet through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Modeling and Verification of Real-Time Systems
By Nicolas Navet and Stephan Merz
“Modeling and Verification of Real-Time Systems” Metadata:
- Title: ➤ Modeling and Verification of Real-Time Systems
- Authors: Nicolas NavetStephan Merz
- Language: English
- Number of Pages: Median: 448
- Publisher: ➤ Wiley & Sons, Incorporated, John
- Publish Date: 2010 - 2013
“Modeling and Verification of Real-Time Systems” Subjects and Themes:
- Subjects: ➤ Computer software, verification - Real-time data processing - System design
Edition Identifiers:
- The Open Library ID: OL29045568M - OL29149626M - OL29149636M
- All ISBNs: ➤ 9780470393598 - 9781118624098 - 1118623959 - 9781118623954 - 1118624092 - 0470393599
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Modeling and Verification of Real-Time Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Modeling and verification of real-time systems
By Nicolas Navet and Stephan Merz
“Modeling and verification of real-time systems” Metadata:
- Title: ➤ Modeling and verification of real-time systems
- Authors: Nicolas NavetStephan Merz
- Language: English
- Publisher: ➤ Wiley & Sons, Incorporated, John - ISTE/John Wiley
- Publish Date: 2008 - 2010
- Publish Location: Hoboken, NJ
“Modeling and verification of real-time systems” Subjects and Themes:
- Subjects: ➤ Real-time data processing - Computer software - Formal methods (Computer science) - Verification - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL48722275M - OL16364425M
- Online Computer Library Center (OCLC) ID: 180190932
- Library of Congress Control Number (LCCN): 2007045063
- All ISBNs: 1848210132 - 9780470611012 - 0470611014 - 9781848210134
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Modeling and verification of real-time systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Modeling And Verification Of Real Time Systems” online:
Shop for “Modeling And Verification Of Real Time Systems” on popular online marketplaces.
- Ebay: New and used books.