| Your search for 29142 returns 2803 document(s) |
| Formal specification and software development/ Dines Bjorner |
|
Author: Bjorner, Dines; | Call Number: 004 Bjo f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software and its develoment/ Joseph M. Fox |
|
Author: Fox, Joseph M.; | Call Number: 004 Fox s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program flow analysis : theory and applications/ Steven S. Muchnick |
|
Author: Muchnick, Steven S.; | Call Number: 004 Muc p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Writing efficient programs/ Jon Louis Bentley |
|
Author: Bentley, Jon Louis; | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of software design/ J.F. Leathrum |
|
Author: Leathrum, J.F.; | Call Number: 005.1 Lea f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The specification of computer programs/Wladyslaw M. Turski |
|
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Abstraction for programmer's/ J.A. Zimmer |
|
Author: Zimmer, J.A.; | Call Number: 005.1 Zim a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software maintenance guidebook/ Robert L. Glass |
|
Author: Glass, Robert L.; | Call Number: 005.3 Gla s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software inspections: how to cut costs, improve quality and shorten time cycles of software projects |
|
Author: Radice, Ronald A.; | Call Number: 005.642 Rad s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reliable software through composite design |
|
Author: Myers, Glenford J; | Call Number: 005.61 Mye r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result