Formal specification and software development /

Saved in:
Bibliographic Details
Main Author: Bjorner, D. (Dines), 1937- (Author)
Other Authors: Jones, C. B. (Cliff B.), 1944-
Format: Book
Language:English
Published: ©1982
Series:Prentice-Hall international series in computer science
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Matheson Library

Holdings details from Matheson Library
Call Number: 001.642 B626f
Copy 019318 On Shelf