| Your search for 13813 returns 4591 document(s) |
| Practical software metrics for project management and process improvement/Robert B. Grady |
|
Author: Grady, Robert B.; | Call Number: 005.14 Gra p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical strategies for developing large software systems/ editor Horowitz |
|
Call Number: 005.3 Hor p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213 |
|
Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
|
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introductory Algol 68 |
|
Author: Brailsford, D.F.; | Call Number: 005.133 Bra i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical support for CMMI-SW software project documentation: using IEEE software, engineering standards |
|
Author: Land, Susan K.; | Call Number: 005.1 Lan p | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Practical support for CMMI-SW software project documentation: using IEEE software, engineering standards |
|
Author: Land, Susan K.; | Call Number: 005.1 Lan p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Object-oriented software engineering practical software development using UML and java/ Timothy C. Lethbridge |
|
Author: Lethbridge, Timothy C.; | Call Number: 005.117 Let o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409 |
|
Author: Philip W. L. Fong, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166 |
|
Author: A. Prasad Sistla, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result