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

Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

B. T. Hailpern

Price
¥ 8,305
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 11 - 21

Our customers say:

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

Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

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 )