Nets, Terms and Formulas : Three Views of Concurrent Processes and their Relationship
E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) Olderog
Out of stock
Format: Book (Hardback)
Action Semantics
Peter D. Mosses
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Hardback)
£75.00
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Hardback)
Add to BasketTwo-Level Functional Languages
Flemming (Aarhus Universitet, Denmark) Nielson
Out of stock
Format: Book (Hardback)
Higher Order Logic and Hardware Verification
T. F. (University of Glasgow) Melham
Out of stock
Format: Book (Hardback)
Algebraic Specification of Communication Protocols
S. Mauw
Item not Available
Format: Book (Hardback)
£60.00
£53.45
Item not Available
Book (Hardback)
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Bob Carpenter
Item not Available
Format: Book (Hardback)
£40.00
£36.25
Item not Available
Book (Hardback)
Formal Methods in Artificial Intelligence
Allan M. (University College Dublin) Ramsay
Out of stock
Format: Book (Paperback / softback)
Belief Revision
Peter (Lunds Universitet, Sweden) Gardenfors
Out of stock
Format: Book (Paperback / softback)
Theoretical Foundations of VLSI Design
K. (University of Leeds) McEvoy
Out of stock
Format: Book (Paperback / softback)
Information Flow : The Logic of Distributed Systems
Jon (Indiana University) Barwise
Out of stock
Format: Book (Hardback)
Metamathematics, Machines and Godel's Proof
N. (SRI International, USA) Shankar
Out of stock
Format: Book (Paperback / softback)
Formal Semantics and Pragmatics for Natural Language Querying
James Clifford
Out of stock
Format: Book (Paperback / softback)
Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Jiri (Czech Technical University in Prague) Adamek
Pre-Order
Format: Book (Hardback)
£50.00
£43.85
Item not Available
Book (Hardback)
£80.00
£70.45
Item not Available
Book (Hardback)