Formal specification and software development /

Saved in:

Bibliographic Details
Main Author:	Bjørner, D. (Dines), 1937-
Other Authors:	Jones, C. B. (Cliff B.), 1944-
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. : Prentice/Hall International, [1982], ©1982.
Series:	Prentice-Hall international series in computer science.
Subjects:	Computer programming. Programming languages (Electronic computers)

Annex

Holdings details from Annex
Call Number:	QA 76.6 .B575 1982
	Available Request Request a scan of an article or book chapter