Image from Google Jackets

Refinement Calculus : A Systematic Introduction /Ralph-Johan Back, Joakim von Wright

By: Language: English Publication details: New York, Springer, 1998.Description: xv, 519 p. ; 24 cmISBN:
  • 9780387984179
Subject(s): DDC classification:
  • 005.14 BAC
Summary: Much current research in computer science is concerned with two questions: is a program correct? 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
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
English Books Anna Centenary Library 3RD FLOOR, A WING 005.14 BAC (Browse shelf(Opens below)) Available 301556

Includes index

Much current research in computer science is concerned with two questions: is a program correct? 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

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close

Find us on the map

Anna Centenary Library
Copyright © 2023 . All Rights Reserved.
Maintained by 2cqr automation private limited, Chennai..