Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | SEM-235 |
| Collection Type | Indeks Artikel prosiding/Sem |
| Title | LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49 |
| Author | Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; |
| Publisher | SNIKTI V 2005 : Seminar Nasional Ilmu Komputer dan Teknologi Informasi, 9-10 Agustus 2005 Fak. Teknologi Iformasi Univ Kristen Satya Wacana Salatiga Jawa Tengah Indonesia |
| Subject | Abstract language, Software verification, Theorem prover, software testing language transformation |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| SEM-235 | TERSEDIA |