DaftarIsitemplate

Call Number

T-0368

Title

Formalisasi dan verifikasi dari spesifikasi speculative concurrency control dalam sistem basisdata waktu-nyata

Author

Yanti Rusmawati,;

Publisher

Depok: Pascasarjana MIK FASILKOM UI, 2002

Subject

Real-time systems

Location

FASILKOM-UI;