Your search for 26574 returns 3967 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
|