Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
$211.99Hardcover
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9780691634890
1
Formats and editions
Details
- Format
- Hardcover
- ISBN-13
- 9780691634890
- Publisher
- Princeton University Press
- Published
- April 19, 2016
- Pages
- 284
- Weight
- 20.3 oz
- Subject
- Computers
More by Robert P. Kurshan
All booksPopular in Computers
Browse Computers
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Eric Matthes
$38.99
Build a Reasoning Model (from Scratch)
Sebastian Raschka
$65.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
Automate the Boring Stuff with Python, 3rd Edition
Al Sweigart
$50.99
Build an AI Agent (from Scratch): Agents That Reason, Plan, and ACT Autonomously
Jungjun Hur
$65.99
The Spacecraft Hacker's Handbook: Exploiting Ground Stations, Flight Software, and Satellite Terminals
Andrzej Olchawa
$58.99
Generative Engine Optimization: The Definitive Guide to AI SEO
Ross Hudgens
$23.99
Microsoft Excel 365 Bible
Michael Alexander
$47.99
Embedded AI: Intelligence at the Deep Edge
David Such
$65.99
AI Agents and Applications: With Langchain, Langgraph, and MCP
Roberto Infante
$65.99
Unbreakable: Secure Your Digital Life in a World Built to Breach You
Phillip Shoemaker
$23.99