Cambridge Catalogue   Account MaintenanceSearchView basketOrdering Help
  Home > Catalog > Programming languages and applied logic

Programming languages and applied logic

Ada: Experiences and Prospects
Edited by Barry Lynch
(Hardback) ISBN: 0521395224

Advanced Topics in Bisimulation and Coinduction
Edited by Davide Sangiorgi, Jan Rutten
(Hardback) ISBN: 1107004977

Aspect-Oriented, Model-Driven Software Product Lines
Edited by Awais Rashid, Jean-Claude Royer, Andreas Rummler
(Hardback) ISBN: 0521767229

Basic Computation and Programming with C
Subrata Saha, Subhodip Mukherjee
(Paperback) ISBN: 1316601854

Building High Integrity Applications with SPARK
John W. McCormick, Peter C. Chapin
(Hardback) ISBN: 1107040736

COBOL Programmers Swing with Java
E. Reed Doke, Bill C. Hardgrave, Richard A. Johnson
(Paperback) ISBN: 0521546842

Computer Programming with C++
Kunal Pimparkhede
(Paperback) ISBN: 1316506800

Constraint Handling Rules
Thom Frühwirth
(Hardback) ISBN: 0521877768

Constraint Logic Programming using Eclipse
Krzysztof R. Apt, Mark Wallace
(Hardback) ISBN: 0521866286

The Description Logic Handbook
Edited by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
(Paperback) ISBN: 0521150116

A Distributed Pi-Calculus
Matthew Hennessy
(Hardback) ISBN: 0521873304

ECOOP'89
Edited by Stephen Cook
(Hardback) ISBN: 0521382327

The Elements of C# Style
Kenneth Baldwin, Andrew Gray, Trevor Misfeldt, Translated by Han Lei
(Paperback) ISBN: 0521671590

The Elements of UML™ 2.0 Style
Scott W. Ambler
(Paperback) ISBN: 0521616786

Finite and Algorithmic Model Theory
Edited by Javier Esparza, Christian Michaux, Charles Steinhorn
(Paperback) ISBN: 0521718201

Formal Languages in Logic
Catarina Dutilh Novaes
(Hardback) ISBN: 1107020913

Foundations of Component-Based Systems
Edited by Gary T. Leavens, Murali Sitaraman
(Hardback) ISBN: 0521771641

Foundations of Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
(Hardback) ISBN: 1107016169

Foundations of XML Processing
Haruo Hosoya
(Hardback) ISBN: 0521196132

A Framework for Priority Arguments
Manuel Lerman
(Hardback) ISBN: 0521119693

From Semantics to Computer Science
Edited by Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin
(Hardback) ISBN: 0521518253

Functional Programming Using F#
Michael R. Hansen, Hans Rischel
(Hardback) ISBN: 1107019028

Functional Programming Using F#
Michael R. Hansen, Hans Rischel
(Paperback) ISBN: 1107684064

The Haskell School of Music
Paul Hudak, Donya Quick
(Hardback) ISBN: 1108416756

Introduction to Bisimulation and Coinduction
Davide Sangiorgi
(Hardback) ISBN: 1107003636

An Introduction to Category Theory
Harold Simmons
(Hardback) ISBN: 110701087X

An Introduction to Description Logic
Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
(Paperback) ISBN: 0521695422

An Invitation to Applied Category Theory
Brendan Fong, David I. Spivak
(Hardback) ISBN: 1108482295

An Invitation to Applied Category Theory
Brendan Fong, David I. Spivak
(Paperback) ISBN: 1108711820

Java Gems
Edited by Dwight Deugo
(Paperback) ISBN: 0521648246

Java Outside In Hardback with CD-ROM
Ethan D. Bolker, Bill Campbell
(1 Hardback, 1 CD-ROM) ISBN: 0521811988

Java Outside In Paperback with CD-ROM
Ethan D. Bolker, Bill Campbell
(1 Paperback, 1 CD-ROM) ISBN: 052101087X

Lectures in Game Theory for Computer Scientists
Edited by Krzysztof R. Apt, Erich Grädel
(Hardback) ISBN: 0521198666

Logic Colloquium 2006
Edited by S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen
(Hardback) ISBN: 0521110815

Logic in Computer Science
Michael Huth, Mark Ryan
(Paperback) ISBN: 052154310X

Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
(Hardback) ISBN: 0521886554

Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
(Paperback) ISBN: 0521687616

Modeling in Event-B
Jean-Raymond Abrial
(Hardback) ISBN: 0521895561

Modelling Systems
John Fitzgerald, Peter Gorm Larsen
(Hardback) ISBN: 0521899117

More Java Gems
Edited by Dwight Deugo
(Paperback) ISBN: 0521774772

Nominal Sets
Andrew M. Pitts
(Hardback) ISBN: 1107017785

Non-Hausdorff Topology and Domain Theory
Jean Goubault-Larrecq
(Hardback) ISBN: 1107034132

Noncommutative Rational Series with Applications
Jean Berstel, Christophe Reutenauer
(Hardback) ISBN: 0521190223

Object-Oriented Programming with Visual Basic.NET
Michael McMillan
(Paperback) ISBN: 0521539838

Path-Oriented Program Analysis
J. C. Huang
(Hardback) ISBN: 0521882869

Picturing Quantum Processes
Bob Coecke, Aleks Kissinger
(Hardback) ISBN: 110710422X

Process Algebra: Equational Theories of Communicating Processes
J. C. M. Baeten, T. Basten, M. A. Reniers
(Hardback) ISBN: 0521820499

Programming in Ada 2012
John Barnes
(Paperback) ISBN: 110742481X

Programming in Haskell
Graham Hutton
(Paperback) ISBN: 1316626229

Programming in Visual Basic 2010
Jim McKeown
(Hardback) ISBN: 0521896533

Programming in Visual Basic 2010
Jim McKeown
(Paperback) ISBN: 0521721113

Programming with Higher-Order Logic
Dale Miller, Gopalan Nadathur
(Hardback) ISBN: 052187940X

Purely Functional Data Structures
Chris Okasaki
(Paperback) ISBN: 0521663504

Python for Software Design
Allen B. Downey
(Hardback) ISBN: 0521898110

Python for Software Design
Allen B. Downey
(Paperback) ISBN: 0521725968

Revised [6] Report on the Algorithmic Language Scheme
Edited by Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robby Findler, Jacob Matthews
(Hardback) ISBN: 0521193990

Semantic Techniques in Quantum Computation
Edited by Simon Gay, Ian Mackie
(Hardback) ISBN: 052151374X

The Semantic Web Explained
Péter Szeredi, Gergely Lukácsy, Tamás Benkő, With contributions by Zsolt Nagy
(Paperback) ISBN: 0521700361

The Space and Motion of Communicating Agents
Robin Milner
(Hardback) ISBN: 0521490308

The Space and Motion of Communicating Agents
Robin Milner
(Paperback) ISBN: 0521738334

The Standard ML Basis Library
Edited by Emden R. Gansner, John H. Reppy
(Hardback) ISBN: 0521791421

The Standard ML Basis Library
Edited by Emden R. Gansner, John H. Reppy
(Paperback) ISBN: 0521794781

Steps in Scala
Christos K. K. Loverdos, Apostolos Syropoulos
(Hardback) ISBN: 0521762170

Steps in Scala
Christos K. K. Loverdos, Apostolos Syropoulos
(Paperback) ISBN: 0521747589

Systematic Program Design
Yanhong Annie Liu
(Hardback) ISBN: 1107036607

Systematic Program Design
Yanhong Annie Liu
(Paperback) ISBN: 1107610796

Temporal Logics in Computer Science
Stéphane Demri, Valentin Goranko, Martin Lange
(Hardback) ISBN: 1107028361

Thinking Functionally with Haskell
Richard Bird
(Hardback) ISBN: 1107087201

Transitions and Trees
Hans Hüttel
(Hardback) ISBN: 0521197465

Turing's Legacy
Edited by Rod Downey
(Hardback) ISBN: 1107043484

Web Data Management
Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
(Hardback) ISBN: 1107012430