"Formal Methods for Concurrency" - Information and Links:

Formal Methods for Concurrency - Info and Reading Options

Book's cover
The cover of “Formal Methods for Concurrency” - Open Library.

"Formal Methods for Concurrency" was published by Coriolis Group in June 1996, it has 290 pages and the language of the book is English.


“Formal Methods for Concurrency” Metadata:

  • Title: Formal Methods for Concurrency
  • Author:
  • Language: English
  • Number of Pages: 290
  • Publisher: Coriolis Group
  • Publish Date:

“Formal Methods for Concurrency” Subjects and Themes:

Edition Specifications:

  • Format: Paperback
  • Weight: 14.4 ounces
  • Dimensions: 9.5 x 6.2 x 0.8 inches

Edition Identifiers:

AI-generated Review of “Formal Methods for Concurrency”:


Read “Formal Methods for Concurrency”:

Read “Formal Methods for Concurrency” by choosing from the options below.

Search for “Formal Methods for Concurrency” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Formal Methods for Concurrency” in Libraries Near You:

Read or borrow “Formal Methods for Concurrency” from your local library.

Buy “Formal Methods for Concurrency” online:

Shop for “Formal Methods for Concurrency” on popular online marketplaces.