Søkte etter:

3 treff

Mathematical foundations of computer science 1993 : 18th international symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings
International Symposium on Mathematical Foundations of Computer Science
Bok Engelsk 1993
An introduction to programming with specifications : a mathematical approach
Ryszard Kubiak, Roman Rudziński, Stefan ...
Bok Engelsk 1991
Applicative high order programming : the standard ML in practice
Sokołowski, Stefan
Bok Engelsk 1991