| DaftarIsitemplate | 
| Call Number | 
| 003 Mar s | 
| Title | 
| System design from provably correct constucs | 
| Author | 
| Martin, James; | 
| Publisher | 
| New York: Prentice Hall, 1985 | 
| Subject | 
| System design; Electronic digital computers--programming; Debugging in computer science | 
| Location | 
| FASILKOM-UI; |