| Your search for 13420 returns 4347 document(s) |
| Proving programs correct |
|
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data structure and c programs |
|
Author: Vanwyck, Christoper; | Call Number: 005.73 Van d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data structures and programs |
|
Author: Van Wyk, Christoper J.; | Call Number: 005.73 Van d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer Programs in Biomedicine |
|
Call Number: [6 (1976): 1-4, 7 (1977): 1-4, 10 (1979): 1-3, 14 (1982): 1-4, 16 (1983): 1-3, 18 (1984): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer methods and programs .. |
|
Call Number: [20 (1985): 1-3, 22 (1986): 1-3, 23 (1987): 1-3, 49 (1996): 2-3] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The B-book: Assigning programs to meanings |
|
Author: Abrial, J.R.; | Call Number: 005.1 Abr b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logics of programs : proceedings 1981 |
|
Call Number: 004 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving programs correct |
|
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards automated verification of database scripts |
|
Author: Ade Azurat; I.S.W.B. Prasetya; T.E.J. Vos; H.Suhartanto; B. Widjaja, L.Y. Stefanus; Ricky Wenang; S. Aminah; Jimmy Bong | Call Number: Pub.Staf-PI-0044 | Type: Prosiding Internasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On verification of database temporal contraints (169-179) |
|
Author: C. H. Kung; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result