"Verifying concurrent processes using temporal logic" - Information and Links:

Verifying concurrent processes using temporal logic - Info and Reading Options

Book's cover
The cover of “Verifying concurrent processes using temporal logic” - Open Library.

"Verifying concurrent processes using temporal logic" was published by Springer-Verlag in 1982 - Berlin, it has 208 pages and the language of the book is English.


“Verifying concurrent processes using temporal logic” Metadata:

  • Title: ➤  Verifying concurrent processes using temporal logic
  • Author:
  • Language: English
  • Number of Pages: 208
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: Berlin

“Verifying concurrent processes using temporal logic” Subjects and Themes:

Edition Specifications:

  • Pagination: viii, 208 p. :

Edition Identifiers:

AI-generated Review of “Verifying concurrent processes using temporal logic”:


"Verifying concurrent processes using temporal logic" Description:

Open Data:

Programming environment -- Verification -- Temporal logic -- 5. Techniques -- Network protocols -- Resource allocation -- Conclusion

Read “Verifying concurrent processes using temporal logic”:

Read “Verifying concurrent processes using temporal logic” by choosing from the options below.

Search for “Verifying concurrent processes using temporal logic” downloads:

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

Find “Verifying concurrent processes using temporal logic” in Libraries Near You:

Read or borrow “Verifying concurrent processes using temporal logic” from your local library.

Buy “Verifying concurrent processes using temporal logic” online:

Shop for “Verifying concurrent processes using temporal logic” on popular online marketplaces.