M. Holcombe

This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea ...

List Price:
$39.99

Sale Price:
$31.99

A. S. Troelstra, H. Schwichtenberg

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of ...

List Price:
$39.99

Sale Price:
$31.99

John C. Mitchell

This textbook on programming languages is designed for undergraduate and beginning graduate students with some knowledge of basic programming. It ...

List Price:
$73.00

Sale Price:
$58.40

John H. Reppy

Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a ...

List Price:
$65.00

Sale Price:
$52.00

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott

Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. ...

List Price:
$175.00

Sale Price:
$140.00

Taking the Curry-Howard correspondence seriously

H. Simmons

Two of the fundamental notions of mathematics, proof and calculation, are intimately related. Proofs can involve calculations, and the algorithm ...

List Price:
$130.00

Sale Price:
$104.00

A Survey of Object-Oriented Approaches

Edited by Howard Bowman, John Derrick

This book presents the current state of the art in the application of formal methods to object based distributed systems. ...

List Price:
$101.00

Sale Price:
$80.80

Edited by Gary T. Leavens, Murali Sitaraman

This collection of articles by well-known experts brings together elements that are fast becoming the focus of much current research ...

List Price:
$64.00

Sale Price:
$51.20

Richard Wiener, Lewis J. Pinson

Fundamentals of OOP and Data Structures in Java is intended as a course on classical data structures. Part One of ...

List Price:
$75.00

Sale Price:
$60.00

The Revised Report

Edited by Simon Peyton Jones

Haskell is the world’s leading lazy functional programming language, widely used for teaching, research, and applications. The language continues to ...

List Price:
$90.00

Sale Price:
$72.00

Ethan D. Bolker, Bill Campbell

This is a practical book aimed at students learning the craft of programming for the first time. It is a ...

List Price:
$106.00

Sale Price:
$84.80

George Tourlakis

Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume ...

List Price:
$95.00

Sale Price:
$76.00

Edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott

Linear Logic is a branch of proof theory which provides refined tools for studying computational aspects of proofs. The purpose ...

List Price:
$91.00

Sale Price:
$72.80

Modelling and Reasoning about Systems

Michael Huth, Mark Ryan

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning which is both relevant ...

List Price:
$69.00

Sale Price:
$55.20

Thomas Forster

This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations are given ...

List Price:
$31.99

Sale Price:
$25.59

Frantisek Franek

Most bugs and crashes in programming stem from problems of memory access, allocation, or deallocation. Such errors are notoriously difficult ...

List Price:
$96.00

Sale Price:
$76.80

Patrick Blackburn, Maarten de Rijke, Yde Venema

Now available in paperback, this is a popular graduate text on modal logic, a field which has caught the attention ...

List Price:
$75.00

Sale Price:
$60.00

Chris Raistrick, Paul Francis, John Wright, Colin Carter, Ian Wilkie

This book offers a unique insight into a revolution in software development that allows model specifications to be fully and ...

List Price:
$85.00

Sale Price:
$68.00

Andrew W. Appel, With Maia Ginsburg

This new, expanded textbook describes all phases of a modern compiler, including current techniques in code generation and register allocation, ...

List Price:
$60.00

Sale Price:
$48.00

Andrew W. Appel, With Jens Palsberg

Describing all phases of a compiler, this textbook includes good coverage of current techniques in code generation and register allocation, ...

List Price:
$75.00

Sale Price:
$60.00

Andrew W. Appel

This new, expanded textbook describes all phases of a modern compiler, including current techniques in code generation and register allocation, ...

List Price:
$60.00

Sale Price:
$48.00

Jaan Kiusalaas

Numerical Methods in Engineering with MATLAB® is a text for engineering students and a reference for practicing engineers, especially those ...

List Price:
$91.00

Sale Price:
$72.80

Jaan Kiusalaas

Numerical Methods in Engineering with Python is a text for engineering students and a reference for practicing engineers, especially those ...

List Price:
$91.00

Sale Price:
$72.80

Deduction and Algorithms

Hans Kleine Büning, Theodor Lettmann

This account of propositional logic concentrates on the algorithmic translation of important methods, especially of decision procedures for (subclasses of) ...

List Price:
$110.00

Sale Price:
$88.00

Chris Okasaki

Most books on data structures assume an imperative language like C or C++. However, data structures for these languages do ...

List Price:
$39.99

Sale Price:
$31.99

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique ...

List Price:
$105.00

Sale Price:
$84.00

Terese

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science that have many ...

List Price:
$190.00

Sale Price:
$152.00

Franz Baader, Tobias Nipkow

This is a self-contained introduction to term rewriting, a high-level method for describing the behaviour of computer programs and for ...

List Price:
$39.99

Sale Price:
$31.99

Learning Functional Programming through Multimedia

Paul Hudak

Functional programming emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects), and has ...

List Price:
$101.00

Sale Price:
$80.80

A Theory of Mobile Processes

Davide Sangiorgi, David Walker

Mobile systems, the components of which communicate and change their structure, now pervade the informational world and the wider world ...

List Price:
$80.00

Sale Price:
$64.00

Edited by Emden R. Gansner, John H. Reppy

SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday ...

List Price:
$85.00

Sale Price:
$68.00