Detail Image
click to view more

Verifying Concurrent Processes Using Temporal Logic (1982)

by Hailpern, B T

$52.27

List Price: $54.99
Save: $2.72 (4%)
add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Monday, July 21, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection

Description

Last updated on

Product Details

  • Mar 1, 1982 Pub Date:
  • 3540112057 ISBN-10:
  • 9783540112051 ISBN-13:
  • English Language