Könyv Refinement Calculus Ralph-Johan Back

Refinement Calculus

A Systematic Introduction

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
41 545 Ft
Much current research in computer science is concerned with two questions: is a program correct? And...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2003
oldal
520
EAN
9780387984179
ISBN
0387984178
Enbook ID
01385488
Súly
1070
Méretek
156 x 234 x 27

Teljes leírás

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.

Érdekelheti

7 258 Ft

Sweetpea

C. J. Skuse
5 566 Ft

Amazed

Aleksandra Artymowska
5 436 Ft
3 685 Ft
6 760 Ft
4 511 Ft

Python Forensics

Chet Hosmer
21 634 Ft

Human Behavior: A First Book in Psychology for Teachers

William Chandler Bagl... Sheldon Colvin
9 296 Ft

Vehicle Technology

Dieter Schramm
24 893 Ft

Letters to Leigh

. . Demonmocker
7 886 Ft
4 713 Ft
3 389 Ft

Vikings!

Ian Stephenson
3 972 Ft

Christine de Pizan and the Moral Defence of Women

Rosalind (University of Leeds) Brown-Grant
20 409 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták