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í autor:	Back, Ralph-Johan
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Netherlands Springer Nature 2012 Springer
Edice:	Texts in Computer Science
Témata:	Calculus Computer logic Computer programming Data processing Computer science
ISBN:	9781461216742, 1461216745, 9780387984179, 0387984178
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!