Verifying Concurrent Processes Using Temporal Logic by B T Hailpern
| ISBN: | 9783540112051 |
| Publication date: | 1st March 1982 |
| Author: | B T Hailpern |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 209 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Computer programming / software engineering |
Verifying Concurrent Processes Using Temporal Logic by B T Hailpern
Verifying Concurrent Processes Using Temporal Logic features in the following genres: Mathematical theory of computation, Computer programming / software engineering
Verifying Concurrent Processes Using Temporal Logic is available in Paperback
Verifying Concurrent Processes Using Temporal Logic was written by B T Hailpern and published by Springer an imprint of Springer Berlin Heidelberg
Verifying Concurrent Processes Using Temporal Logic has 209 pages
Yes it is part of Lecture Notes in Computer Science series