Formal specification and software development

Saved in:

Bibliographic Details
Main Author:	Bjorner, D. 1937- Dines
Other Authors:	Jones, C. B. 1944- Cliff B.
Format:	Book
Published:	Englewood Cliffs, N.J. Prentice/Hall International 1982
Series:	Prentice-Hall International series in computer science
Subjects:	Computer software > Development Programming languages (Electronic computers) > Development
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet