Refinement Calculus

Name: Refinement Calculus
Brand: Springer, Berlin
SKU: 9780387984179
Price: 113.55 EUR
Availability: InStock

A Systematic Introduction

Автор: Ralph-Johan Back, Joakim von Wright

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

113.55 € 222.08 лв

Much current research in computer science is concerned with two questions: is a program correct? And...

Информация за книгата

Автор

Ralph-Johan Back, Joakim von Wright

Език

Английски език

Корици

Книга - С меки корици

Издадена

2003

страници

520

EAN

9780387984179

ISBN

0387984178

Enbook ID

01385488

Издател

Springer, Berlin

Теглоt

1070

Размери

156 x 234 x 27

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Refinement Calculus

A Systematic Introduction

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също