Joakim Wright – författare
Visar alla böcker från författaren Joakim Wright. Handla med fri frakt och snabb leverans.
2 produkter
Refinement Calculus
A Systematic Introduction
Av Ralph-Johan Back, Joakim Wright
Häftad, 1998
1203 kr
Lägg i varukorg
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 …
Refinement Calculus
A Systematic Introduction
Av Joakim Wright, Ralph-Johan Back
E-bok, 2012
1459 kr
Lägg i varukorg
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 …
