| Your search for 36757 returns 369 document(s) |
| 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
|
| Proving concurrent constraint programs correct,Hlm 98-108 |
|
Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| The architecture of concurrent programs/ Per Brinch Hansen |
|
Author: Hansen, Per Brinch; | Call Number: 005.13 Han a | 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
|
| Operating systems: concurrent and distributed software design |
|
Author: Bacon, Jean; | Call Number: 005.43 Bac o | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent, euclid, unix and tunis/Richard C. Holt |
|
Author: Holt, Richard C.; | Call Number: 005.43 Hol c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result