J. M. Spivey

J. M. Spivey

3 books

Books by J. M. Spivey

An introduction to logic programming through Prolog
An introduction to logic programming through Prolog
1996
The Z notation
The Z notation
1989
Understanding Z
Understanding Z
1988