Formal specification and software development Dines Bjorner
Material type: TextSeries: Prentice-Hall International Series in Computer SciencePublication details: Englewood Cliffs, N.J. Prentice/Hall International 1982Description: x, 501 p. ill. 25 cmISBN:- 0133290034
- 001.642 B5F3
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Book | Ahmedabad General Stacks | Non-fiction | 001.642 B5F3 (Browse shelf(Opens below)) | Available | 185539 |
Total holds: 0
Browsing Ahmedabad shelves, Shelving location: General Stacks, Collection: Non-fiction Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
001.642 B3W7 Writing efficient programs | 001.642 B4A7 Apple logo primer | 001.642 B4-IV Bits and pieces: programming techniques, Vol. 4 | 001.642 B5F3 Formal specification and software development | 001.642 B5P7 Programs for beginners on the TRS-80TM | 001.642 B6A2 Advanced BASIC for the IBM PC | 001.642 B7A8 Assembly language programming for the IBM Personal Computer |
Includes index.
Bibliography: p. 461-487.
There are no comments on this title.
Log in to your account to post a comment.