| Your search for 16134 returns 523 document(s) |
| Applying formal methods to semantic-based decomposition of transactions |
|
Author: Paul Ammann, Sushil Jajodia, and Indrakshi Ray | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applying decomposition methods to crossword puzzle problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 874 |
|
Author: Yaling Zheng; Berthe Y. Choueiry; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Understanding formal methods |
|
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal Methods in Artificial Intelligence |
|
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | 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
|
| Applying information-retrieval methods to software reuse: a case study, page 67 |
|
Author: Eric J. S. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal methods: state of the art and new directions |
|
Author: Boca, Paul P; | Call Number: 005.131 Boc f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993 |
|
Author: Woodcock, J.C.P.; | Call Number: 004 Woo f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applications of formal methods/edited by Michael G. Hinchey and Jonathan Bowen |
|
Call Number: 620.004 2 App | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229) |
|
Author: Atsushi Togashi
Yuh Kitano
Satoru Izumi
Kaoru Takahashic
kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result