Formal specification and software development / Dines Bjrner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.].
By: Bjorner, D.
Material type: TextPublisher: Englewood Cliffs, N.J. : Prentice-Hall International, 1982Description: x, 501 p.ISBN: 0133290034.Subject(s): Computer softwareDDC classification: 005.1Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 005.1 B557 Fo (Browse shelf(Opens below)) | Available | 118333 |
There are no comments on this title.