Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Constructive Methods in Computing Science
nidottu,
2011,
englanti,
ISBN 9783642748868
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. …
Logic of Programming and Calculi of Discrete Design
nidottu,
2012,
englanti,
ISBN 9783642873768
In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most …