Description: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach by Kurshan, Robert P. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less
Price: 40.9 USD
Location: Aurora, Illinois
End Time: 2024-11-13T14:27:12.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Binding: Paperback
Weight: 0 lbs
Product Group: Book
IsTextBook: No
Number of Pages: 284 Pages
Publication Name: Computer-Aided Verification of Coordinating Processes : the Automata-Theoretic Approach
Language: English
Publisher: Princeton University Press
Item Height: 0.6 in
Publication Year: 2014
Subject: Machine Theory, Expert Systems, Manufacturing, Complex Analysis, Software Development & Engineering / Systems Analysis & Design
Item Weight: 14 Oz
Type: Textbook
Subject Area: Mathematics, Computers, Technology & Engineering
Author: Robert P. Kurshan
Item Length: 9.2 in
Series: Princeton Series in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
