 | Algebraic Semantics of Imperative Programs
Joseph A. Goguen and Grant Malcolm
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run.
Cloth / May 1996
Price $45.00 | ADD TO CART |
|
 | Algebraic Theory of Processes
Matthew Hennessy
Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science.
Cloth / May 1988
OUT OF PRINT |
|
 | Algorithmic Number Theory, Volume 1
Efficient Algorithms
Eric Bach and Jeffrey Shallit
Algorithmic Number Theory provides a thorough introduction
to the design and analysis of algorithms for problems from
the theory of numbers. Although not an elementary textbook,
it includes over 300 exercises with suggested solutions.
Every theorem not proved in the text or left as an exercise
has a reference in the notes section that appears at the end
of each chapter.
Cloth / August 1996
Price $90.00 | ADD TO CART |
|
 | Basic Category Theory for Computer Scientists
Benjamin C. Pierce
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.
Paper / August 1991
Price $26.00 | ADD TO CART |
|
 | Circuit Complexity and Neural Networks
Ian Parberry
Cloth / July 1994
Price $55.00 | ADD TO CART |
|
 | Computability and Complexity
From a Programming Perspective
Neil D. Jones
Cloth / January 1997
Price $75.00 | ADD TO CART |
|
 | Control Flow Semantics
Jaco de Bakker and Erik de Vink
Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming languages.
Cloth / April 1996
OUT OF STOCK |
|
 | Dynamic Logic
David Harel, Dexter Kozen and Jerzy Tiuryn
This book provides the first comprehensive introduction to Dynamic Logic.
Cloth / October 2000
Price $60.00 | ADD TO CART |
|
| Equational Logic as a Programming Language
Michael J. O'Donnell
This book provides a comprehensive description of the theoretical foundations, design, and implementation of an innovative logic programming language in which computations are produced directly from equational definitions.
Cloth / May 1985
OUT OF PRINT |
|
 | Exploring Interior-Point Linear Programming
Algorithms and Software
Ami Arbel
This book provides practitioners as well as students of this general methodology with an easily accessible introduction to the new class of algorithms known as interior-point methods for linear programming.
Paper / November 1993
Price $45.00 | ADD TO CART |
|
 | The Formal Semantics of Programming Languages
An Introduction
Glynn Winskel
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages.
Cloth / February 1993
OUT OF PRINT |
|
 | The Formal Semantics of Programming Languages
An Introduction
Glynn Winskel
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages.
Paper / February 1993
Price $55.00 | ADD TO CART |
|
 | Foundations for Programming Languages
John C. Mitchell
Cloth / September 1996
Price $95.00 | ADD TO CART |
|
 | From Logic to Logic Programming
Kees Doets
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn-clause logics, together with an analysis of the semantic aspects of the method.
Cloth / January 1994
Price $48.00 | ADD TO CART |
|
 | Hilbert's 10th Problem
Yuri Matiyasevich; Foreword by Martin Davis and Hilary Putnam
This book presents the full, self-contained negative solution of Hilbert's 10th problem.
Cloth / October 1993
Price $55.00 | ADD TO CART |
|
 | Logic and Information Flow
Edited by Jan van Eijck and Albert Visser
Cloth / May 1994
Price $50.00 | ADD TO CART |
|
 | Proof, Language, and Interaction
Essays in Honour of Robin Milner
Edited by Gordon Plotkin, Colin Stirling and Mads Tofte
This collection of original essays reflects the breadth of current research in computer science.
Cloth / May 2000
Price $80.00 | ADD TO CART |
|
| PX: A Computational Logic
Susumu Hayashi and Hiroshi Nakano
The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories.
Cloth / December 1988
OUT OF PRINT |
|
| Realistic Compiler Generation
Peter Lee
In this book Peter Lee provides a complete description and survey of the field of semantics based compiler generation and presents a new method for expressing the formal semantics of programming languages that allows realistic compilers to be generated automatically.
Cloth / August 1989
OUT OF PRINT |
|
| Resource Allocation Problems
Algorithmic Approaches
Toshihide Ibaraki and Naoki Katoh
This book addresses a theoretical problem encountered in a variety of areas in operations research and management science, including load distribution, production planning, computer scheduling, portfolio selection, and apportionment.
Cloth / March 1988
OUT OF PRINT |
