Mural: A formal development support system

Jones, C. B., Jones, K., Lindsay, P. A. & Moore, R. (1990). Mural: A formal development support system. London: Springer-Verlag.

[img]
Preview
PDF
Download (1MB) | Preview

Item Type: Book
Additional Information: © The Authors.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: School of Informatics > Centre for Software Reliability
URI: http://openaccess.city.ac.uk/id/eprint/1970

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics