Search Result
Save to File
Your search for
25753
returns
5496
document(s)
TxForest: A DSL for Concurrent Filestores (332-354)
Author: Jonathan Dilorenzo Katie Mancini Kathleen Fisher Nate Foster; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Highly Concurrent Shared Storage (298-307)
Author: K. Amiri G. Gibson R. Golding; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Software engineering : analysis and verification
Author: Lewis, T.G.; | Call Number: 005.1 Lew s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Verification in component software, Hal. 411-420
Author: Rakhmad Azhari; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
The complexity of verification,Hal 365-371
Author: R.P.Kurshan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Software engineering: analysis and verification
Author: Lewis, T.G.; | Call Number: 004 Lew s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Software verification and validation
Author: Deutsch, Michael S.; | Call Number: 005.3 Deu s | Type: Buku
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
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
Prev
3
4
5
6
7
8
9
10
11
12
Next