Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 004 Int c |
| Collection Type | Buku |
| Title | Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg |
| Author | International Conference, CAV'97; |
| Publisher | Berlin Springer 1997 |
| Subject | Computer science |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 004 Int c | 99/8299 | TERSEDIA |