Computer-Aided Verification of Coordinating Processes

Author

Robert P. Kurshan

Publish Date

2014-07-14

Subtitle

The Automata-Theoretic Approach

Book Type

Paperback

Number of Pages

272

Publisher Name

9

ISBN-10

0691606056

ISBN-13

9780691606057

citemno

166716

SKU

9780691606057