| Your search for 52217 returns 1205 document(s) |
| Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning (405-424) |
|
Author: Long H. Pham
Jun Sun
Quang Loc Le; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional verification of synchronous networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 214-227 |
|
Author: Leszek Holenderski; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| STARI: a case study in compositional and hierarchial timing verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 191-201 |
|
Author: Serdar Tasiran; Robert K. Brayton; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using compositional preorders in the verification of sliding window protocol, (LNCS-Lecture Notes in Computer Science 1254) Hal 48-59 |
|
Author: Roope Kaivola; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| improving e-learning through knowledge management |
|
Author: Dana Indra Sensuse, Pudy Prima, Muhammad Mishbah, Pristi Sukmasetya, Aditya Erlangga, Elin Cahyaningsih; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| improving e-learning through knowledge management |
|
Author: Dana Indra Sensuse, Pudy Prima, Muhammad Mishbah, Pristi Sukmasetya, Aditya Erlangga, Elin Cahyaningsih; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| improving e-learning through knowledge management |
|
Author: Dana Indra Sensuse, Pudy Prima, Muhammad Mishbah, Pristi Sukmasetya, Aditya Erlangga, Elin Cahyaningsih; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| improving e-learning through knowledge management |
|
Author: Dana Indra Sensuse, Pudy Prima, Muhammad Mishbah, Pristi Sukmasetya, Aditya Erlangga, Elin Cahyaningsih; | Call Number: SEM- 372 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result