Verifying Concurrent Processes Using Temporal by Hailpern Brent (1 results)

Author:

Title:

Refine with Advanced Search

Verifying Concurrent Processes Using Temporal Logic. Lecture Notes in Computer Science N? 129
HAILPERN, Brent:
- Softcover
Seller: Librería La Candela, Murcia, MU, SpainLibrería La Candela
5-star seller
Contact seller
Condition: Used
US$ 5.89
US$ 45.71 shipping
Ships from Spain to U.S.A.
Quantity: 1 available
Add to basket
.- Berlín Heidelberg New York. 1982. Springer - Verlag. 4º menor. VIII- 208 pgs. Rústica editorial . Firma anterior poseedor. Muy buen estado. . . ISBN 10: 3540112057. Informática.