Automatic verification of sequential infinite-state processes - Info and Reading Options
By Olaf Burkart
"Automatic verification of sequential infinite-state processes" was published by Springer in 1997 - Berlin, it has 163 pages and the language of the book is English.
“Automatic verification of sequential infinite-state processes” Metadata:
- Title: ➤ Automatic verification of sequential infinite-state processes
- Author: Olaf Burkart
- Language: English
- Number of Pages: 163
- Publisher: Springer
- Publish Date: 1997
- Publish Location: Berlin
“Automatic verification of sequential infinite-state processes” Subjects and Themes:
- Subjects: ➤ Branch and bound algorithms - Computer software - Infinite Processes - Processes, Infinite - Software engineering - Verification - Computer programming - Congresses - Computer science - Mathematics - Electronic digital computers, programming - Computer science, mathematics
Edition Specifications:
- Pagination: x, 163 p. :
Edition Identifiers:
- The Open Library ID: OL702951M - OL2754214W
- Online Computer Library Center (OCLC) ID: 38090995 - 222274245 - 32821138
- Library of Congress Control Number (LCCN): 97051978 - 95032984
- ISBN-10: 3540601171
- All ISBNs: 3540601171
AI-generated Review of “Automatic verification of sequential infinite-state processes”:
Read “Automatic verification of sequential infinite-state processes”:
Read “Automatic verification of sequential infinite-state processes” by choosing from the options below.
Search for “Automatic verification of sequential infinite-state processes” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Automatic verification of sequential infinite-state processes” in Libraries Near You:
Read or borrow “Automatic verification of sequential infinite-state processes” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Automatic verification of sequential infinite-state processes” at a library near you.
Buy “Automatic verification of sequential infinite-state processes” online:
Shop for “Automatic verification of sequential infinite-state processes” on popular online marketplaces.
- Ebay: New and used books.