Search Result Save to File Save as CSV
Your search for 26461 returns 9177 document(s)
Spesifikasi dan verifikasi aplikasi perbankan dengan menggunakan lingusql (Studi banding dengan Metode-B)/ Franova Herdiyanto
Author: Franova Hardiyanto; | Call Number: SK-0743 (Softcopy SK-224) Source code SK-205 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Formal methods: state of the art and new directions
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Understanding formal methods
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993
Author: Woodcock, J.C.P.; | Call Number: 004 Woo f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Duration calculus: a formal appproach to real-time systems
Author: Chaochen, Zhou; | Call Number: 005.273 Cha d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Refinement dengan metode B. pada pengembangan modul aplikasi perbankan, Hal. 477-480
Author: Theresia Budiyanti; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis sistem dan spesifikasi requirement menggunakan metode formal pada UML (Studi kasus pada sistem informasi kepegawaian Kab. Ngajuk)
Author: Dwi Kurnia Basuki; Joko Lianto Buliali; | Call Number: SEM-277 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Refinement dengan metode B pada pengembangan modul aplikasi perbankan/ Theresia Budiyanti
Author: Theresia Budiyanti; | Call Number: SK-0611 (Softcopy SK-90) Source Code SK-81 | Edition: L. Stefanus Yohanes | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
An Introduction to object-oriented systems analysis and design with UML and the unified process
Author: Schach, Stephen R.; | Call Number: 005.117 Sch i | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An Introduction to object-oriented systems analysis and design with UML and the unified process
Author: Schach, Stephen R.; | Call Number: 005.117 Sch i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next