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

Algebraic Specification of Communication Protocols By S. Mauw (Technische Universiteit Eindhoven, The Netherlands)
Algebraic Specification of Communication Protocolsby S. Mauw (Technische Universiteit Eindhoven, The Netherlands)
New
$52.69
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
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
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
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
Concurrency Verification By Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
Concurrency Verificationby Willem-Paul de Roever (Christian-Albrechts Universitat zu Kiel, Germany)
New
$96.19
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
$11.69