Computeraided Verification Coordinating Processes by Kurshan Robert (1 results)

Author:

Title:

ComputerAided Verification of Coordinating Processes The AutomataTheoretic Approach
Kurshan, Robert P. (Author)
Language: English
Published by Princeton University Press, 2016
0691634890 / 9780691634890
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 212.18
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Hardcover. Condition: Brand New. 284 pages. 9.00x6.00x0.69 inches. In Stock.
Discover more from R. P. Kurshan
Explore their published works and collectible offers.Explore R. P. Kurshan

ComputerAided Verification of Coordinating Processes The AutomataTheoretic Approach