| Your search for 38054 returns 268 document(s) |
| Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
|
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
|
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated Geometric Theorem Proving Diagram Generation and Applications (4) |
|
Author: Xia-shan Gao; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verfikasi concurrent system dengan model checker SMV |
|
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi concurrent system dengan model checker SMV |
|
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming erlang: software for a concurrent world: 2nd ed. |
|
Author: Armstrong, Joe; | Call Number: 005.13 Arm p | Type: E-book
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Programming erlang: software for a concurrent world: 2nd ed. |
|
Author: Armstrong, Joe; | Call Number: 005.13 Arm p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The temporal logic of reactive and concurrent systems specification |
|
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent programming in java: design principles and patterns/Douglas |
|
Author: Lea, Douglas; | Call Number: 005.2 Lea c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result