| 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
|
Search Result