Formal specification and software development

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!

Similar Items

Similar Items