Sale!

Computer Aided Verification of Coordinating Processes The Automata Theoretic Approach Robert P. Kurshan

Original price was: $50.00.Current price is: $35.00.

Computer Aided Verification of Coordinating Processes The Automata Theoretic Approach Robert P. Kurshan Digital Instant Download

Author(s): Robert P. Kurshan
ISBN(s): 9781400864041, 1400864046
Edition: Course Book
File Details: PDF, 34.60 MB
Year: 2014
Language: english
SKU: EB-51950022 Category: Tag:

Computer Aided Verification of Coordinating Processes The Automata Theoretic Approach Robert P. Kurshan – Ebook Instant Download/Delivery ISBN(s): 9781400864041,1400864046