Call Number | 005.113 woo u |
Collection Type | Buku |
Title | Using z specification, refinement, and proof/Jim Woodcock, Jim Davies |
Author | Woodcock, Jim; |
Publisher | London Prentice-Hall 1996 |
Subject | (Computer program language) |
Location | FASILKOM-UI; |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
005.113 woo u | 97/7617 | TERSEDIA |
005.113 woo u | 97/7617 | TERSEDIA |