Refinement Calculus

Name: Refinement Calculus
Brand: Springer, Berlin
SKU: 9780387984179
Price: 455.94 PLN
Availability: InStock

A Systematic Introduction

Autor: Ralph-Johan Back, Joakim von Wright

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

455.94 zł

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

Informacje o książce

Autor

Ralph-Johan Back, Joakim von Wright

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2003

strony

520

EAN

9780387984179

ISBN

0387984178

Enbook ID

01385488

Wydawca

Springer, Berlin

Waga

1070

Wymiary

156 x 234 x 27

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Refinement Calculus

A Systematic Introduction

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również