Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction

Back, Ralph-Johan
Wright, Joakim

Paperback

Series: Texts in Computer Science

General ComputersGeneral Mathematics

ISBN10: 0387984178
ISBN13: 9780387984179
Publisher: Springer Nature
Published: Apr 13 1998
Pages: 520
Weight: 1.64
Height: 1.13 Width: 6.08 Depth: 9.25
Language: English
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.

Also in

General Computers

View All