| Your search for 25753 returns 5496 document(s) |
| 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
|
| 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
|
| Structured concurrent programming with operating systems applications |
|
Author: Holt, R.C.; | Call Number: 005.43 Hol s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent systems: operating systems database and distributed systems an introduction approach |
|
Author: Bacon, Jean; | Call Number: 005.447 Bac c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Program construction and verification |
|
Author: Backhouse, Roland; | Call Number: 005 Bac p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An introduction to formal program verification |
|
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Designing systems programs/ Richard Gauthier |
|
Author: Gauthier, Richard; | Call Number: 005.1 Gau d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93 |
|
Author: James C. Corbett | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A proof environment for concurrent programs,(LNCS-Lecture Notes in Computer Science 670) Hal 196-215 |
|
Author: Naima BROWN; Dominique MERY; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Local liveness for compositional modeling of fair reactive systems, (LNCS-Lecture Notes in Computer Science 939) Hal 166-179 |
|
Author: Rajeev Alur; Thomas A. Henzinger; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result