Your search for 39375 returns 714 document(s) |
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
|
Formal methods of program verification and specification |
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
XML: the annotated specification/Bob Ducharme |
Author: Ducharme, Bob; | Call Number: 005.72 Duc x | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to digital computer plotting |
Author: Smith, T.C.; | Call Number: 604.2 Smi i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
IEEE - Software engineering standards collection/IEEE |
Call Number: 005.1 IEE | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modelling, measuring & management the software development processes/Bill Curtis |
Author: Curtis, Bill; | Call Number: 005.106 Cur m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software reuse: state of the art and future directions 12th Int. conference on software engineering March 26-30, 1990/Herbert Weber |
Author: Weber, Herbert; | Call Number: 005.106 Web s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to formal specicifation and Z /Ben Potter |
Author: Potter, Ben; | Call Number: 005.1 Pot i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Reverse engineering: problems struktur berjenjang terhadap program sumber portran/Stefanus Santosa |
Author: Santosa, Stefanus; | Call Number: 621.39 San r | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering with reusable components: /J. Sametinger |
Author: Sametinger, J.; | Call Number: 005.1 Sam s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|