| Your search for 37936 returns 280 document(s) |
| Theory and problems of statistics |
|
Author: Spiegel, Murray R.; | Call Number: 519.5 Spi t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive search for errors in the free data type specifications using model generation, Hal. 211-225 |
|
Author: Wolfgang Ahrendt; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrating discrete and continous phenomena models into practical advanced user interface specifications, Hal. 309-316 |
|
Author: Stephen A. Morrison; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Syntax-driven semantic analysis for constructing use case diagrmas form software requirement specifications in Indonesian |
|
Author: Latifaah , Ruli Manurung; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
|
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the derivation of executable database programs from formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 351-366 |
|
Author: Thomas Gunther; Klaus-Dieter Schewe; Ingrid Wetzel; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284 |
|
Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating text case generation from Z specifications with isabelle, (LNCS-Lecture Notes in Computer Science 1212)Hal. 52-72 |
|
Author: Steffen Helke; Thomas Neustupny; Thomas Santen; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Synthesis of communicating progresses from temporal logic specifications, (LNCS-Lecture Notes in Computer Science 131) Hal. 253-281 |
|
Author: Zohar Manna; Pierre Wolper; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory & problems of probability/ Seymour Lipschutz |
|
Author: Lipschutz, Seymour; | Call Number: 519.2 Lip t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result