DaftarIsitemplate

Call Number

T-0152

Title

Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan Rel Kereta Api satu jalur satu arah

Author

Achmad Ridok;

Publisher

Depok: Pascasarjana Fak. Ilmu Komputer UI, 1999

Subject

Formalization (Linguistics)

Location

FASILKOM-UI;