| Your search for 13650 returns 4291 document(s) |
| Program verfication using ada/ A.D. McGettrick |
|
Author: McGettrick, A.D.; | Call Number: 005.133 McG p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object-oriented program design: with examples in C ++ |
|
Author: Mullin, Mark M.; | Call Number: 005.133 Mul o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the symposium on partial evaluation and semantics-based program manipulation PEPM'91: Sigplan notices volume 26 no. 9 September 1991 |
|
Call Number: SEM-185 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming techniques, vol. 1: program design |
|
Author: Liffick, Blaise W.; | Call Number: 004 Lif p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Methods for organizational development, Hal 250-257 |
|
Author: Peter de Jong; | Call Number: SEM-195 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal verification of research reactive systems: safety |
|
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tex: the program |
|
Author: Knuth, Donald E.; | Call Number: 686.225 Knu t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer network security: second internaitonal workshop on mathematical methods, models and architectures for computer network security MMM-ACNS 2003 St Petersburg, Russia, Sept' 2003, Proceeding |
|
Call Number: 005.8 Com | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Managing risk: methods for software systems development |
|
Author: Hall, Elaine M.; | Call Number: 005.1 Hal m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effective methods for software testing, 2nd ed. |
|
Author: Perry, William E.; | Call Number: 005.142 Per e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result