4 treff

The science of quantitative information flow
Mário S. Alvim, Konstantinos Chatzikokola...
Bok Engelsk 2020
Programming from specifications
Morgan, C.C.
Bok Engelsk 1994
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
R. S. Bird, C. C. Morgan, J. C. P. Woodco...
Bok Engelsk 1993
Programming from specifications
Morgan, C.C.
Bok Engelsk 1990