| DaftarIsitemplate |
| Call Number |
| SK-0874 (Softcopy SK-356) Source code SK-312 |
| Title |
| Analisa pengembangan formalisasi sistem pengendali lalu lintas kereta api |
| Author |
| Irene Ully Havsa; |
| Publisher |
| Depok: Fasilkom UI, 2010 |
| Subject |
| Formal method |
| Location |
| FASILKOM-UI; |