Formal program development in extended ML for the working programmer View on Open Library

Formal program development in extended ML for the working programmer

by Donald Sannella

No reviews yet
First published: 1989 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Donald Sannella

Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification a...

Automata, languages and programming

Automata, languages and programming

Introduction to Computation

Introduction to Computation

Foundations Of Algebraic Specification And Formal Software Development

Foundations Of Algebraic Specification A...

Programming Languages and Systems - ESOP '94

Programming Languages and Systems - ESOP...

Some Thoughts on algebraic specification

Some Thoughts on algebraic specification