Explore: Llenguatges Formals
Discover books, insights, and more — all in one place.
Learn more about Llenguatges Formals with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “llenguatges-formals”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Computer aided verification
By Nicolas Halbwachs and Doron Peled
“Computer aided verification” Metadata:
- Title: Computer aided verification
- Authors: Nicolas HalbwachsDoron Peled
- Language: English
- Number of Pages: Median: 506
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1999 - 2003
“Computer aided verification” Subjects and Themes:
- Subjects: ➤ Enginyeria del software - Disseny lògic - Congressos - Llenguatges formals - Computer software, verification - Computer software - Congresses - Verification - Integrated circuits - Verificatie - Software
Edition Identifiers:
- The Open Library ID: OL37149339M - OL9633158M
- Online Computer Library Center (OCLC) ID: 41926351
- All ISBNs: 9783540662020 - 9783540486831 - 3540486836 - 3540662022
First Setence:
"As usual, the behavior of a timed system is obtained by composing the behavior of its components."
Access and General Info:
- First Year Published: 1999
- 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 Computer aided verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.