Refinement calculus : a systematic introduction

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 settin...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Back, Ralph-Johan, Wright, J. (Joakim) von
Médium:	E-kniha Kniha
Jazyk:	angličtina
Vydáno:	New York, NY Springer 1998 Springer New York
Vydání:	1
Edice:	Texts in Computer Science
Témata:	Calculus Computer logic Computer programming Computer Science Electronic digital computers > Programming Information theory Theory of Computation
ISBN:	9780387984179, 0387984178, 1461216753, 9781461216759
ISSN:	1868-0941, 1868-095X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!