Concurrency verification - Info and Reading Options
introduction to compositional and noncompositional methods
By W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers
"Concurrency verification" was published by Cambridge University Press in 2001 - Cambridge, UK, it has 776 pages and the language of the book is English.
“Concurrency verification” Metadata:
- Title: Concurrency verification
- Authors: ➤ W.-P. de RoeverWillem-Paul de RoeverFrank de BoerUlrich HannemanJozef HoomanYassine LakhnechMannes PoelJob Zwiers
- Language: English
- Number of Pages: 776
- Publisher: Cambridge University Press
- Publish Date: 2001
- Publish Location: Cambridge, UK
“Concurrency verification” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Verification - Computer software - Parallel processing (electronic computers) - Computer software, verification
Edition Specifications:
- Pagination: xxii, 776 p. :
Edition Identifiers:
- The Open Library ID: OL18168513M - OL19041067W
- Online Computer Library Center (OCLC) ID: 46319659
- Library of Congress Control Number (LCCN): 2001022303
- ISBN-10: 0521806089
- All ISBNs: 0521806089
AI-generated Review of “Concurrency verification”:
Read “Concurrency verification”:
Read “Concurrency verification” by choosing from the options below.
Search for “Concurrency verification” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Concurrency verification” in Libraries Near You:
Read or borrow “Concurrency verification” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Concurrency verification” at a library near you.
Buy “Concurrency verification” online:
Shop for “Concurrency verification” on popular online marketplaces.
- Ebay: New and used books.