Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 530 citing A Discipline of Programming. 

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth, Mark Ryan - Computers - 2004
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating ...
Limited preview - About this book

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus ...

Yves Bertot, Pierre Castéran - Computers - 2004 - 469 pages
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive ...
Limited preview - About this book

Algebraic Semantics of Imperative Programs

Joseph Goguen - Computers - 1996 - 228 pages
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary ...
Limited preview - About this book

Applications of Formal Methods

Michael Gerard Hinchey, Jonathan Peter Bowen - Technology & Engineering - 1995 - 447 pages
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Snippet view - About this book

Algorithmic Language and Program Development

Friedrich L. Bauer - Computers - 1982 - 497 pages
The author's primary objective in this book is to discuss those aspects of bifurcation theory which are particularly meaningful to differential equations. To acccomplish this ...
Limited preview - About this book

The Haskell School of Expression: Learning Functional Programming Through ...

Paul Hudak - Computers - 2000 - 363 pages
This book, first published in 2000, teaches functional programming using Haskell and examples drawn from multimedia applications.
Limited preview - About this book

Formal Methods in Human-computer Interaction

Michael D. Harrison, Harold Thimbleby - Computers - 1990 - 323 pages
Discusses the application of formal methods - the attempt to provide methods that rigorously and unambiguously describe the behavior of a computer program or system - to the ...
Limited preview - About this book

3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop ...

Carroll Morgan, Jim Woodcock, IBM UK Laboratories - Computers - 1991 - 197 pages
Published in collaboration with the British Computer Society.
Snippet view - About this book

Petri Net Algebra

Eike Best, Raymond Devillers, Maciej Koutny - Computers - 2001 - 378 pages
This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and ...
Limited preview - About this book




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