| Your search for 588 returns 2050 document(s) |
| Formal development of programs and proofs/edited Edger W. Dijkstra |
|
Call Number: 005.1 For | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering environments : proceedings of the Symposium held in Lahnstein, Federal Republic of Germany, June 16-20-, 1980 / organized by Gesellschaft für Mathematik und Datenverarbeitung ; edited by Horst Hünke. |
|
Call Number: 005.1 Sof | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Method of programming/Edger W. Dijkstra |
|
Author: Dijkstra, Edger W.; | Call Number: 005.1 Dij m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Writing efficient programs |
|
Author: Bentley, Jon Louis; | Call Number: 004.61 Ben w | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming in the 1990s : an introduction to the calculations of programs |
|
Author: Cohen, Edward; | Call Number: 005 Coh p | 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
|
| Writing efficient programs/ Jon Louis Bentley |
|
Author: Bentley, Jon Louis; | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structure and interpretation of computer programs |
|
Author: Abelson, Harold; | Call Number: 005.1 Abe s | Type: Buku Pusat
|
|
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
|
Search Result