Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - March 1, 1982
In case cover and title do not match, the title is correct

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

Price
£ 41.99

Ordered from remote warehouse

Expected delivery Jan 8 - 16, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list
or

209 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 1, 1982
ISBN13 9783540112051
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 209
Dimensions 155 × 233 × 11 mm   ·   312 g
Language English  

See all of B. T. Hailpern ( e.g. Paperback Book )