Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
$169.99Hardcover
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9781107004979
1
Details
- Format
- Hardcover
- ISBN-13
- 9781107004979
- Publisher
- Cambridge University Press
- Published
- October 13, 2011
- Pages
- 340
- Weight
- 21.1 oz
- Subject
- Computers
More by Davide Sangiorgi
All booksIntroduction to Bisimulation and Coinduction
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
$136.99
The Pi-Calculus: A Theory of Mobile Processes
The Pi-Calculus: A Theory of Mobile Processes
Davide Sangiorgi
$99.99
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
Davide Sangiorgi
$128.99
Popular in Computers
Browse Computers
Obsolete: The AI Industry's Trillion Dollar Race to Replace Us--And How to Stop It
Garrison Lovely
$18.99

The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99

Fixing Tech: Make It Just Work
David S. Platt
$23.99

Mastering AI: A Survival Guide to Our Superpowered Future
Jeremy Kahn
$16.99

Building Reliable AI Systems: Applications and Agents You Can Trust
Rush Shahani
$65.99

My Coworker Is a Robot: Navigating the Technology That Could Replace You (or Earn Your Next Promotion)
Jon Swartz
$23.99

Unbreakable: Secure Your Digital Life in a World Built to Breach You
Phillip Shoemaker
$23.99

The Craft of Post-Training: A Practical Guide for AI Engineers and Developers
Chris Von Csefalvay
$65.99

Beginner's Step-By-Step Coding Course: Learn Computer Programming the Easy Way
Dk
$23.99

The Well-Grounded Rubyist, Fourth Edition
Black A. David
$65.99

Embedded AI: Intelligence at the Deep Edge
David Such
$65.99

Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99