Programming Languages and Systems - ESOP '94de Donald SannellaEdiciones (1)Programming Languages and Systems - ESOP '94 (1994)Springer · inglés · ISBN 9783540578802Má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