Advertisement

Correct Systems

Building a Business Process Solution

  • Mike Holcombe
  • Florentin Ipate

Part of the Applied Computing book series

Table of contents

  1. Front Matter
    Pages i-xx
  2. Building Correct Systems

    1. Front Matter
      Pages 1-1
    2. Mike Holcombe, Florentin Ipate
      Pages 3-29
    3. Mike Holcombe, Florentin Ipate
      Pages 31-60
    4. Mike Holcombe, Florentin Ipate
      Pages 61-92
    5. Mike Holcombe, Florentin Ipate
      Pages 93-112
    6. Mike Holcombe, Florentin Ipate
      Pages 113-131
  3. Theoretical Foundations

    1. Front Matter
      Pages 133-133
    2. Mike Holcombe, Florentin Ipate
      Pages 135-168
    3. Mike Holcombe, Florentin Ipate
      Pages 169-188
    4. Mike Holcombe, Florentin Ipate
      Pages 189-199
  4. Back Matter
    Pages 200-206

About this book

Authors and affiliations

  • Mike Holcombe
    • 1
  • Florentin Ipate
    • 2
  1. 1.Department of Computer ScienceUniversity of SheffieldSheffieldUK
  2. 2.Computer Science DepartmentRomanian-American UniversityBucharestRomania

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-3435-0
  • Copyright Information Springer-Verlag London 1998
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-76246-1
  • Online ISBN 978-1-4471-3435-0
  • Series Print ISSN 1431-1542
  • Buy this book on publisher's site