Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to The Deductive Foundations of Computer Programming.   

Elements of ML Programming

Jeffrey D. Ullman - ML (Computer program language) - 1994 - 320 pages
The ML language is the latest innovative language to emerge from Bell Labs, birthplace of the C and C++ languages. Ullman provides a highly accessible introduction to the very ...
Snippet view - About this book

The Logical Basis for Computer Programming: Deductive reasoning

Zohar Manna - Computers - 1985 - 618 pages
Mathematical logic; Theories with induction.
Snippet view - About this book

The Solid Earth: An Introduction to Global Geophysics

C. M. R. Fowler - Science - 1990 - 472 pages
The Solid Earth is a general introduction to the study of modern physics of the solid Earth. The book begins with a brief historical introduction to developments in geophysics ...
Limited preview - About this book

Logic for computer science

Steve Reeves, Michael Clarke - Computers - 1990 - 260 pages
An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs ...
Snippet view - About this book

The MATHEMATICA ® Book, Version 4

Stephen Wolfram - Computers - 1999 - 1470 pages
With over a million users around the world, the Mathematica software system created by Stephen Wolfram has defined the direction of technical computing for the past decade. The ...
Limited preview - About this book

Theory of deductive systems and its applications

Sergeĭ I︠U︡rʹevich Maslov - Computers - 1987 - 151 pages
In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience.
Snippet view - About this book

  1. My library
  2. Help
  3. Advanced Book Search