Specification and Proof in Real Time CSP
by Jim Davies
$80.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9781107403864
1
Formats and editions
Details
- Format
- Paperback
- ISBN-13
- 9781107403864
- Publisher
- Cambridge University Press
- Published
- January 12, 2012
- Pages
- 200
- Weight
- 11.5 oz
- Subject
- Computers
More by Jim Davies
All books
Riveted: The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe: The Science of Why Jokes Make U
Jim Davies
$27.99
Being the Person Your Dog Thinks You Are: The Science of a Better You
Being the Person Your Dog Thinks You Are: The Science of a Better You
Jim Davies
$22.99
Imagination
Imagination
Jim Davies
$27.99
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec
Jim Davies
$67.99
Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
Jim Davies
$128.99
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Wa, Usa, November 8-12, 2004
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Wa, Usa, November 8-12, 2004
Jim Davies
$128.99
Popular in Computers
Browse Computers
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Kevin Roose
$25.99
AI Engineering: Building Applications with Foundation Models
Chip Huyen
$65.99
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky
$23.99
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Martin Kleppmann
$58.99
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
$16.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
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Emily M. Bender
$25.99
The Linux Command Line, 3rd Edition: A Complete Introduction
William Shotts
$38.99
The God Test: Artificial Intelligence and Our Coming Cosmic Reckoning
Robert Wright
$23.99