Table of contents

  1. Front Matter
    Pages i-ix
  2. Introduction

    1. Tim Denvir
      Pages 1-11
  3. Foundations

    1. Front Matter
      Pages 13-13
    2. Tim Denvir
      Pages 15-27
    3. Tim Denvir
      Pages 28-54
    4. Tim Denvir
      Pages 55-91
  4. Data Type Construction

    1. Front Matter
      Pages 93-93
    2. Tim Denvir
      Pages 95-112
    3. Tim Denvir
      Pages 113-146
    4. Tim Denvir
      Pages 147-156
  5. Algebraic Concepts

    1. Front Matter
      Pages 157-157
    2. Tim Denvir
      Pages 159-180
    3. Tim Denvir
      Pages 181-213
    4. Tim Denvir
      Pages 214-227
  6. Specification and Correctness of Programs

    1. Front Matter
      Pages 229-29
    2. Tim Denvir
      Pages 231-251
  7. Back Matter
    Pages 281-309

About this book

Keywords

discrete mathematics software software engineering

Authors and affiliations

  • TimĀ Denvir
    • 1
  1. 1.Praxis Systems plcUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-349-18496-5
  • Copyright Information Tim Denvir 1986
  • Publisher Name Palgrave, London
  • eBook Packages Engineering
  • Print ISBN 978-0-333-40737-0
  • Online ISBN 978-1-349-18496-5
  • About this book