Formal specification and software development Dines Bjorner and Cliff B. Jones
By: Bjorner, D. (Dines).
Contributor(s): Jones, C. B. (Cliff B.).
Material type: BookSeries: Prentice-Hall international series in computer science. Publisher: Englewood Cliffs, N.J Prentice/Hall International c1982Description: x, 501 p. ill. 25 cm.Subject(s): Programming languages (Electronic computers) | Computer programmingDDC classification: 001.64Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Matheson Library | Matheson Library | Main Collection | Main Collection | 001.642 B626f (Browse shelf) | Available | 019318 |
Includes index
0133290034
There are no comments for this item.