Toward formal development of programs from algebraic specifications

Ediciones (1)

• Toward formal development of programs from algebraic specifications (1986)

  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