Menu
Toward formal development of programs from algebraic specifications : parameterisation revisited
Cover image not available

Toward formal development of programs from algebraic specifications : parameterisation revisited

D Sannella

Publication Data

Descriptive Notes

Cover title.

Topics

Catalogue Data

ISBD

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Toward formal development of programs from algebraic specifications : parameterisation revisited by D Sannella. Published by LFCS, Dept. of Computer Science, University of Edinburgh in 1992. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.