DaftarIsitemplate

Call Number

JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 1 Mei 2003

Title

Formalisasi dan verifikasi spesifikasi pengendali lalu lintas kereta api di stasiun dengan rel ganda, hal 8-18

Author

Eri Zuliarso, Belawati H.W. dan Widijanto S. N.

Publisher

Fakultas Ilmu Komputer Universitas Indonesia

Subject

Location

FASILKOM-UI;