Refinement Calculus

Name: Refinement Calculus
Brand: Springer, Berlin
SKU: 9780387984179
Price: 2772 CZK
Availability: InStock

A Systematic Introduction

Autor: Ralph-Johan Back, Joakim von Wright

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

2 772 Kč

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

Informace o knize

Autor

Ralph-Johan Back, Joakim von Wright

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2003

Stránek

520

EAN

9780387984179

ISBN

0387984178

Enbook ID

01385488

Vydavatel

Springer, Berlin

Hmotnost

1070

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Refinement Calculus

A Systematic Introduction

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také