Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
$115.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9780521169325
1
Details
- Format
- Paperback
- ISBN-13
- 9780521169325
- Publisher
- Cambridge University Press
- Published
- January 26, 2012
- Pages
- 800
- Weight
- 37 oz
- Subject
- Computers
Popular 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