| Your search for 19415 returns 1529 document(s) |
| Computer Education |
|
Call Number: [1 (1977): 1-4, 2 (1978): 1-4] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Science Education |
|
Call Number: [67 (1984): 1-5, 67 (1983): 1-5, 69 (1986): 1-5, 72 (1988): 1-5] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computers in education |
|
Author: Lewis, Bob ed.; | Call Number: 370.285 4 Lew c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering : analysis and verification |
|
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
|
|
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
|
| The complexity of verification,Hal 365-371 |
|
Author: R.P.Kurshan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program construction and verification |
|
Author: Backhouse, Roland; | Call Number: 005 Bac p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering: analysis and verification |
|
Author: Lewis, T.G.; | Call Number: 004 Lew s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software verification and validation |
|
Author: Deutsch, Michael S.; | Call Number: 005.3 Deu s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result