| Your search for 29064 returns 4156 document(s) |
| 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
|
| Programming system methodologies/ Carold A. Ziegler |
|
Author: Ziegler Carol A; | Call Number: 004.21 Zie p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured analysis/ Victor Weinberg |
|
Author: Weinberg, Victor; | Call Number: 004.61 Wei s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Profesional software: software engineering concepts, vol.1 |
|
Author: Ledgand, Henry F.; | Call Number: 005 Led p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming pearls/Jon Louis Bentley |
|
Author: Bentley, Jon Louis; | Call Number: 005 Ben p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The temporal logic of reactive and concurrent systems specification |
|
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The craft of software engineering/Allen Macro |
|
Author: Macro, Allen; | Call Number: 005.1 Mac c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming/ edited by K.L. Clark and S. A. Tarnlund |
|
Call Number: 005.1 Log | 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
|
| Scheme and the art of programming/George Springer, Daniel P. Friedman |
|
Author: Springer, George; | Call Number: 005.1 Spr s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result