Cover image: Computer-Aided Verification of Coordinating Processes 9780691606057

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

  • Author(s) Robert P. Kurshan
  • Publisher Published by Princeton University Press Copyright © 1995
  • "ISBN-13 9780691606057"
  • Format Fixed Layout

eBook

eTextbook License
$65.00 USD
‌‌
‌‌‌

  • 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

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