My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free US shipping over $10
Trustpilot
Proud to be B-Corp

Cambridge Tracts in Theoretical Computer Science Books

Updating Logical Databases By Marianne Winslett (University of Illinois, Urbana-Champaign)
Updating Logical Databasesby Marianne Winslett (University of Illinois, Urbana-Champaign)
Very Good
$10.00
Logic and Computation By Lawrence C. Paulson (University of Cambridge)
Logic and Computationby Lawrence C. Paulson (University of Cambridge)
New
$66.69
Applications of Process Algebra By J. C. M. Baeten
Applications of Process Algebraby J. C. M. Baeten
Very Good
$55.99
Programs, Recursion and Unbounded Choice By Wim H. Hesselink
Programs, Recursion and Unbounded Choiceby Wim H. Hesselink
New
$52.89
Belief Revision By Peter Gardenfors (Lunds Universitet, Sweden)
Belief Revisionby Peter Gardenfors (Lunds Universitet, Sweden)
New
$80.69
Action Semantics By Peter D. Mosses (Aarhus Universitet, Denmark)
Action Semanticsby Peter D. Mosses (Aarhus Universitet, Denmark)
New
$64.79
Rippling: Meta-Level Guidance for Mathematical Reasoning By Alan Bundy (University of Edinburgh)
Rippling: Meta-Level Guidance for Mathematical Reasoningby Alan Bundy (University of Edinburgh)
New
$136.49
Data Refinement By Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Data Refinementby Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
New
$69.59
Formal Semantics and Pragmatics for Natural Language Querying By James Clifford
Formal Semantics and Pragmatics for Natural Language Queryingby James Clifford
New
$52.89
Predicate Transformer Semantics By Ernest. G. Manes (University of Massachusetts, Amherst)
Predicate Transformer Semanticsby Ernest. G. Manes (University of Massachusetts, Amherst)
New
$63.39
Understanding Z By J. M. Spivey (University of Oxford)
Understanding Zby J. M. Spivey (University of Oxford)
Very Good
$145.99
Two-Level Functional Languages By Flemming Nielson (Aarhus Universitet, Denmark)
Two-Level Functional Languagesby Flemming Nielson (Aarhus Universitet, Denmark)
New
$58.59
Epistemic Logic for AI and Computer Science By J.-J. Ch. Meyer (Universiteit Utrecht, The Netherlands)
Epistemic Logic for AI and Computer Scienceby J.-J. Ch. Meyer (Universiteit Utrecht, The Netherlands)
Very Good
$12.99