Search Result
Save to File
Your search for
3905
returns
3928
document(s)
Real-time systems: formal specification and automatic verification
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
A Temporal Framework for Database Specification and Verification (91-99)
Author: C.H. Kung; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
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
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
Principles of protocol design
Author: Sharp, Robin; | Call Number: 004.62 Sha p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Communication protocol engineering
Author: Popovic, Miroslav; | Call Number: 621.382 12 Pop c | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Principles of protocol design
Author: Sharp, Robin; | Call Number: 004.62 Sha p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The java virtual machine specification
Author: Lindohlm, Tim; | Call Number: 005.133 Lin j | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The java language specification
Author: Gosling, James; | Call Number: 005.133 Gos j | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The java 3D API specification
Author: Showizral, Herry A.; | Call Number: 006.693 Sow j | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next