Formal program development in extended ML for the working programmer

Ediciones (1)

• Formal program development in extended ML for the working programmer. (1989)

  University of Edinburgh, Laboratory for Foundations of Computer Science · inglés

Más obras de Donald Sannella

Foundations Of Algebraic Specification And Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Automata, languages and programming