The Z notation : a reference manual / J. M. Spivey based on the work of J. R.Abrial...et.al.
Publication details: New York Prentice-Hall 1989Description: xi, 155 p. ; 23 cmISBN:- 013983768x
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | QA76.73.Z2S66 (Browse shelf(Opens below)) | 1 | Available | 00000274544 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.73.W56K864 Professional SQL server 2008 administration with Windows PowerShell / | QA76.73.X58F57 Learning XSLT / | QA76.73.Z2B37 Z in practice | QA76.73.Z2S66 The Z notation : a reference manual / | QA76.73.Z2W67 Software development with Z: a practical approach to formal methods in software engineering / | QA76.73.Z2Z2 1990 Z user workshop, Oxford 1990 proceedings of the fifth annual Z user meeting, Oxford, 17-18 December, 1990 | QA76.73.Z2Z37 Pemodelan perisian menggunakan Z / |
1
There are no comments on this title.
Log in to your account to post a comment.
