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

By:

Back, Ralph-johan

Language: English Publication details: New York, Springer, 1998.Description: xv, 519 p. ; 24 cmISBN:

9780387984179

Subject(s):

Programmazione Sequenziale Verifica Dei Programmi

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.

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

Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.136 KIN Structured Assembler Language For Ibm Microcomputers : microcomputers	005.14 AHM Software Testing As A Service	005.14 AST Test-driven Development : A Practical Guide	005.14 BAC Refinement Calculus : A Systematic Introduction	005.14 BAN Design sprint a practical guidebook for building digital products	005.14 BAN;1 Design sprint a practical guidebook for building digital products	005.14 BAS Testing Object-oriented Software : life cycle solutions	Next

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.

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

Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)

Find us on the map