Kniha Refinement Calculus Ralph-Johan Back

Refinement Calculus

A Systematic Introduction

Jazyk: Angličtina
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

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2003
Stránok
520
EAN
9780387984179
ISBN
0387984178
Enbook ID
01385488
Vydavateľ
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ť

Vehicle Technology

Dieter Schramm
59.76

Human Behavior: A First Book in Psychology for Teachers

William Chandler Bagl... Sheldon Colvin
23.05

Python Forensics

Chet Hosmer
61.04
11.18
9.12

Amazed

Aleksandra Artymowska
15.50
209.62

Sweetpea

C. J. Skuse
14.42
19.32

Grief Labyrinth

Carole Lindroos
13.63

Christine de Pizan and the Moral Defence of Women

Rosalind (University of Leeds) Brown-Grant
54.75

Vikings!

Ian Stephenson
10.49
12.06
8.53

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

Stromata Buch I-VI

Ludwig Früchtel
186.95

Bulharsko 1:800 000

neuvedený autor
6.26

Fafik znikł

Sanne Haugaard
1.27
6.66
10.30