| Your search for 36282 returns 3708 document(s) |
| Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352 |
|
Author: Ade Azurat, Belawati Widjaja; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi concurrent system dengan model checker SMV |
|
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verfikasi concurrent system dengan model checker SMV |
|
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi prototype lingu pada studi kasus student entrance test, Hal. 281-284 |
|
Author: Carroline D. Puspa; Heru Suhartanto; Ade Azurat, Siti Aminah; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification in component software, Hal. 411-420 |
|
Author: Rakhmad Azhari; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analisa pengembangan formalisasi sistem pengendali lalu lintas kereta api |
|
Author: Irene Ully Havsa; | Call Number: SK-0874 (Softcopy SK-356) Source code SK-312 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani |
|
Author: Annisa Ihsani; | Call Number: SK-0795 (Softcopy SK-277) Source code SK-252 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Kajian penerapanvolere requirement process model dalam memenuhi kerangka kerja capability maturity model Integration for development |
|
Author: Zulhalim; | Call Number: T-0554 (Softcopy T-0213) | Edition: 2006 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CMMI Improving software and systems development processes using capability maturity model integration (CMMI-DEV) |
|
Author: Kneuper, Ralf; | Call Number: 005.1 Kne c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The surface coal minie in China based surpac three-dimenensional visualization and applications, Hal. 3734-3736 |
|
Author: Pengcheng Fei; Ziling Song; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result