An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.
Material type:
TextSeries: Prentice-Hall international series in computer sciencePublication details: London ; New York : Prentice Hall, 1996.Edition: 2nd edDescription: xiv, 434 p. : ill. ; 24 cmISBN: - 0132422077 (pbk.)
- 005.12 20
- QA76.76.D47 P68 1996
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Tan Tao University General Stacks | Reference | 005.133 (Browse shelf(Opens below)) | Available | F-2023-0372 |
Browsing Tan Tao University shelves, Shelving location: General Stacks, Collection: Reference Close shelf browser (Hides shelf browser)
| 005.133 Problem solving methods with examples in Ada / | 005.133 Lập trình cơ sở dữ liệu bằng Visual J++ | 005.133 Applications programming in ANSI C / | 005.133 An introduction to formal specification and Z / | 005.1330711 Kỹ thuật lập trình C | 005.136 C with assembly language / | 005.136 Assembly language for Pascal programmers / |
Includes bibliographical references (p. 414-418) and index.
There are no comments on this title.