Computation Enginering : Applied Automata theory and logic | UPT Perpustakaan UHAMKA