Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 005.2 Man t |
| Collection Type | Buku |
| Title | Temporal verification of research reactive systems: safety |
| Author | Manna, Zohar; |
| Publisher | New York Springer-Verlag 1995 |
| Subject | Computer software-verification; Parallel processing(Electronic computers) |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 005.2 Man t | 95/7184A(fotokopi) | TERSEDIA |
| 005.2 Man t | 95/7184 | TERSEDIA |
| 005.2 Man t | 95/7184A | TERSEDIA |
| 005.2 Man t | 95/7184b(Fotokopi) | TERSEDIA |