Filter
Søkt på: Søkeresultat
Filter
totalt 3 treff
Constructive Methods in Computing Science
heftet,
2011,
Engelsk,
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. …
Programming and Mathematical Method
heftet,
2011,
Engelsk,
ISBN 9783642775741
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. …
Logic of Programming and Calculi of Discrete Design
heftet,
2012,
Engelsk,
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 …