EExtended MLExtended MLde Donald SannellaEdiciones (1)Extended ML (1986)University of Edinburgh, Laboratory for Foundations of Computer Science · inglésMás obras de Donald SannellaFoundations Of Algebraic Specification And Formal Software DevelopmentFoundations of Algebraic Specification and Formal Software DevelopmentAutomata, languages and programming
FFormal program development in extended ML for the working prFormal program development in extended ML for the working programmer
