Explore: Automates Temporels
Discover books, insights, and more — all in one place.
Learn more about Automates Temporels with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “automates-temporels”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Formal modeling and analysis of timed systems
By Wang Yi
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Author: Wang Yi
- Language: English
- Number of Pages: Median: 305
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2005 - 2006
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Machine theory - Automates temporels - Méthodes formelles (Informatique) - Temporal automata - Simulation par ordinateur - Robots - Congrès - Automates mathématiques, Théorie des - Computer simulation - Congresses - Formal methods (Computer science) - Theorie des Automates mathematiques - Temporale Logik - Echtzeitsystem - COMPUTERS - Congres - Zeitdiskretes System - Formale Sprache - Informatique - Formale Methode - Methodes formelles (Informatique) - Automata
Edition Identifiers:
- The Open Library ID: OL9733350M - OL37118278M
- Online Computer Library Center (OCLC) ID: 63107695 - 62513772
- Library of Congress Control Number (LCCN): 2005937088
- All ISBNs: 3540316167 - 9783540309468 - 9783540316169 - 3540309462
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Formal modeling and analysis of timed systems
“Formal modeling and analysis of timed systems” Metadata:
- Title: ➤ Formal modeling and analysis of timed systems
- Language: English
- Number of Pages: Median: 369
- Publisher: Springer
- Publish Date: 2006
“Formal modeling and analysis of timed systems” Subjects and Themes:
- Subjects: ➤ Automates temporels - Méthodes formelles (Informatique) - Temporal automata - Congrès - Automates mathématiques, Théorie des - Computer simulation - Congresses - Formal methods (Computer science) - Machine theory
Edition Identifiers:
- The Open Library ID: OL9058022M
- Online Computer Library Center (OCLC) ID: 71814282
- Library of Congress Control Number (LCCN): 2006932409
- All ISBNs: 9783540450269 - 3540450262
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Formal modeling and analysis of timed systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.