Call Number | 004 Lec |
Collection Type | Indeks Artikel LNCS |
Title | A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138 |
Author | William P. de Roever; |
Publisher | Springer, 1981 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
004 Lec | TERSEDIA |