Ditemukan 1 dokumen yang sesuai dengan query
"
Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction ...
"
Berlin: Springer-Verlag, 2012
e20409956
eBooks Universitas Indonesia Library
