Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 004 Lec |
| Collection Type | Indeks Artikel LNCS |
| Title | Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199 |
| Author | Leslie Lamport 1; |
| Publisher | Springer, 1981 |
| Subject | |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 004 Lec | TERSEDIA |