Evaluation of Signature Files as Set Access Facilities in OODBs (247-256)
Type: Indeks Artikel prosiding/Sem
Call Number | 004 Lec |
Collection Type | Indeks Artikel LNCS |
Title | The refinements and the stability of hoare logic, (LNCS-Lecture Notes in Computer Science 131)Hal. 24-36 |
Author | J.A. Berostra; J. V. Tucker; |
Publisher | Springer, 1981 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
004 Lec | TERSEDIA |