Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9780387112053: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
View all copies of this ISBN edition:
 
 
Buy New View Book
List Price: US$ 52.95
US$ 246.05

Convert currency

Shipping: US$ 3.27
Within U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9783540112051: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Featured Edition

ISBN 10:  3540112057 ISBN 13:  9783540112051
Publisher: Springer, 1982
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Brent T. Hailpern
Published by Springer Verlag (1982)
ISBN 10: 0387112057 ISBN 13: 9780387112053
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer Verlag, 1982. Condition: New. book. Seller Inventory # M0387112057

More information about this seller | Contact this seller

Buy New
US$ 246.05
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds