Explore: Zeitbehafteter Automat
Discover books, insights, and more — all in one place.
Learn more about Zeitbehafteter Automat with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “zeitbehafteter-automat”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
By Zhiming Liu
“Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings” Metadata:
- Title: ➤ Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
- Author: Zhiming Liu
- Publisher: Springer
- Publish Date: 2009
“Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software - Automatic theorem proving - Congresses - Formale Methode - Kongress - Verifikation - Model Checking - Softwareentwicklung - Hardwareentwurf - Systementwurf - Systemanalyse - Zeitbehafteter Automat - Eingebettetes System - Hybrides System
Edition Identifiers:
- The Open Library ID: OL26049517M
- Online Computer Library Center (OCLC) ID: 449849149
- Library of Congress Control Number (LCCN): 2009935680
- All ISBNs: 3642047602 - 9783642047602
Access and General Info:
- First Year Published: 2009
- 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 Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Formal Modeling and Analysis of Timed Systems
By Joël Ouaknine
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Author: Joël Ouaknine
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Modeling and Analysis of Timed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Data processing - Computer science - Software engineering - Algebra - Information theory - Computer simulation - Congresses - Temporal automata - Formal methods (Computer science) - Machine theory - Hybrides System - Kongress - Echtzeitsystem - Formale Methode - Model Checking - Temporale Logik - Zeitbehafteter Automat - Zeitbewertetes Petri-Netz - Zeitdiskretes System - Robots
Edition Identifiers:
- The Open Library ID: OL25536219M
- Online Computer Library Center (OCLC) ID: 436030820
- Library of Congress Control Number (LCCN): 2009934015
- All ISBNs: 3642043682 - 9783642043680 - 9783642043673 - 3642043674
Access and General Info:
- First Year Published: 2009
- 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 Formal Modeling and Analysis of Timed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.