Your search for 2009 returns 5168 document(s) |
Using z specification, refinement, and proof/Jim Woodcock, Jim Davies |
Author: Woodcock, Jim; | Call Number: 005.113 woo u | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Program development by refinement: case studies using the B method |
Author: Sekerinski, E.; | Call Number: 005.133 Sek p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to pascal/ Jim Welsh |
Author: Welsh, Jim; | Call Number: 005.133 Wel i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The java virtual machine specification |
Author: Lindohlm, Tim; | Call Number: 005.133 Lin j | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The java language specification |
Author: Gosling, James; | Call Number: 005.133 Gos j | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The java 3D API specification |
Author: Showizral, Herry A.; | Call Number: 006.693 Sow j | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Program verfication using ada |
Author: McGettrick, Andrew D; | Call Number: 005.133 McG p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using turbo pascal |
Author: Wood, Steve; | Call Number: 005.133 Woo u | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Data structures: an advanced approach using c |
Author: Esakov, Jeffrey; | Call Number: 005.133 Esa d | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to computer science using pascal |
Author: Glinert, E.P.; | Call Number: 005.133 Gli i | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|