• Education & Business Solutions Opens in new window

Computer-Aided Verification of Coordinating Processes
The Automata-Theoretic Approach

Cover image: Computer-Aided Verification of Coordinating Processes 9780691606057
  • Author(s)
    Robert P. Kurshan
  • Publisher
    Princeton University Press
  • Format
    Fixed Layout
  • Print ISBN 9780691606057, 0691606056
  • eText ISBN 9781400864041, 1400864046
  • Copyright
    1995
Buy eTextbook
‌‌
$78.00 CAD
‌
‌‌

  • Study Tools

    Built-in study tools like highlights and more

  • Read Aloud

    Listen and follow along as Bookshelf reads to you

  • Offline Access

    Access your eTextbook anytime and anywhere

  • Global Search

    Search across book content, figures, and your workbook

Learn More

VitalSource 25+ Years of Digital Transformation

  • 4500 Institutions

  • 230+ Countries & Territories

  • 10K+ Publishers

  • 18M+ Active Users

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach is written by Robert P. Kurshan and published by Princeton University Press. The Digital and eTextbook ISBNs for Computer-Aided Verification of Coordinating Processes are 9781400864041, 1400864046 and the print ISBNs are 9780691606057, 0691606056. Save up to 80% versus print by going digital with VitalSource. Additional ISBNs for this eTextbook include 9780691034362, 9780691634890.

Back to Top