| Your search for 304 returns 1850 document(s) |
| Program construction and verification |
|
Author: Backhouse, Roland; | Call Number: 005 Bac p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program flow analysis: theory and applications |
|
Author: Muchnick, Steven S.; | Call Number: 004 Muc p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| programming techniques: program design/ editor by Elaise W. Liffick |
|
Call Number: 004 Pro | 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
|
| Algorithms: the construction, proof, and analysis of programs/Pierre Berlioux |
|
Author: Berlioux, Pierre; | Call Number: 005.1 Ber a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms: the construction proof, and analysis of programs/Pierre Berlioux and Philippe Bizard |
|
Author: Berlioux, Pierre; | Call Number: 005.1 Ber a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program design and construction/ David A. Higgins |
|
Author: Higgins, David A; | Call Number: 004.61 Hig 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
|
| Data structures and program design in C/Robert L. Kruse |
|
Author: Kruse, Robert L.; | Call Number: 005.1 Kru d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data structures & program design 2nd ed/ Robert L. Kruse |
|
Author: Kruse, Robert L.; | Call Number: 005.1 Kru d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result