1 Ebooks by Joakim Wright
Ralph-Johan Back & Joakim Wright: Refinement Calculus
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 …
PDF
English
DRM
€114.12