Search Result Save to File Save as CSV
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