| Your search for 27105 returns 4597 document(s) |
| Software engineering : analysis and verification |
|
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering: analysis and verfication |
|
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Temporal verification of research reactive systems: safety |
|
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The economics of software quality |
|
Author: Jones, Capers; | Call Number: 005.14 Jon e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| LinguSQL: a verification and transformation tool for database applications, Hal. F.45-F>49 |
|
Author: Rikky Wenang Prubojati; I.S.W.Praetya, Heru Suhartanto, Sirajuddin Maizir; | Call Number: SEM-235 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Toward zero-defect programming |
|
Author: Stavely, Allan M.; | Call Number: 005.106 85 Sta t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CASE is software automata |
|
Author: McClure, Carma L.; | Call Number: 005.1 McC c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CASE in software automation |
|
Author: McClure, Carma L.; | Call Number: 005.1 McC | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CASE is software automation |
|
Author: McClure, Carma L.; | Call Number: 005.1 Mcc c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer-aided software engineering : the methodologies, the products, and the future/ Chris Gane |
|
Author: Gane, Chris; | Call Number: 620.004 2 Gan c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result