Refinement Calculus

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

A Systematic Introduction

Autor: Ralph-Johan Back, Joakim von Wright

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

107.46 €

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

Informácie o knihe

Autor

Ralph-Johan Back, Joakim von Wright

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2003

Stránok

520

EAN

9780387984179

ISBN

0387984178

Enbook ID

01385488

Vydavateľ

Springer, Berlin

Hmotnosť

1070

Rozmery

156 x 234 x 27

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Refinement Calculus

A Systematic Introduction

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež