Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150940 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
Rok: 1998
ISBN: 9780387984179
OKCZID: 110356348
Citace (dle ČSN ISO 690):
BACK, Ralph-Johan. Refinement calculus: a systematic introduction. New York: Springer, c1998. xv, 519 s. Graduate texts in computer science, Graduate texts in computer science.
Anotace
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.