DaftarIsitemplate |
Call Number |
T-0364 |
Title |
Rancangan formal sistem pengendali integritas untuk lalulintas pada penempatan jalan berbasis logika proposi |
Author |
Maringan Situmeang; |
Publisher |
Depok: Pascasarjana Fak. Ilmu Komputer UI, 2002 |
Subject |
Control system toolbox (Computer file) |
Location |
FASILKOM-UI; |