| Your search for 5299 returns 792 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
|
| An introduction to formal specicifation and Z /Ben Potter |
|
Author: Potter, Ben; | Call Number: 005.1 Pot i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal logic: its scope and limits |
|
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A formal view integration method (398-407) |
|
Author: Joachim Biskup and Bernhard convent; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A formal view integration method (398-407) |
|
Author: Joachim Biskup and Bernhard convent; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods of program verification and specification |
|
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concepts of programming languages |
|
Author: Sebesta, Robert W.; | Call Number: 005.13 Seb c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ACM Trans. on Programming Languages |
|
Call Number: [13 (1991): 1-4, 12 (1990): 4, 13 (1991): 1-4, 10 (1988): 1-4, 12(1990) : 4, 14 (1992): 1-4, 15 (1993): 1-2, 15 (1994): 3-5, 18 (1996): 1-4, 20 (1998): 3-6] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming languages structures and models |
|
Author: Dershem, Herbert L.; | Call Number: 005.13 Der p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational physics, setion B: cellular automata, Hal. 181-186 |
|
Author: Norman Margolus; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result