Formal Description Techniques and Protocol Specification, Testing and Verification Forte X / PSTV XVII ' 97
By: Mizuno, Tàet.al.. Editor.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
004.36 MIZ (Browse shelf) | Available | 508248 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
004.36 LEV Fault tolerant system design | 004.36 MAR Cloud computing: Theory and practice. 2nd. Edition. | 004.36 MEH Load balancing: An automated learning approach | 004.36 MIZ Formal Description Techniques and Protocol Specification, Testing and Verification Forte X / PSTV XVII ' 97 | 004.36 ORF Instant CORBA | 004.36 ORF Instant CORBA | 004.36 PEL Distributed computing: A Locality-sensitive approach |
There are no comments for this item.