DaftarIsitemplate

Call Number

T-0365

Title

Formalisasi dan verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda

Author

Eri Zuliarso;

Publisher

Depok: Pascasarjana Fak. Ilmu Komputer UI, 2002

Subject

RAILWAY TRANSPORT ; Train stations

Location

FASILKOM-UI;