Formal methods of program verification and specification / H.K. Berg ... [et al.]
Material type: TextPublisher: Englewood Cliffs, N.J. : Prentice-Hall, c1982Description: xiv, 207 p.ISBN: 0133288072.Subject(s): Computer programsDDC classification: 005.14Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 005.14 B4526 Fo (Browse shelf(Opens below)) | Available | 117865 |
There are no comments on this title.