Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 005.131 Boc f |
| Collection Type | Buku |
| Title | Formal methods: state of the art and new directions |
| Author | Boca, Paul P; |
| Publisher | New York: Springer, 2010 |
| Subject | Formal methods (computer science) |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 005.131 Boc f | 10/11715 (Asli) | Tgl Kembali:2018-05-13 |