BOUNDED MODEL CHECKING FOR CLIENT SERVER SYSTEMS WITH UNBOUNDED CLIENTS (Record no. 84250)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00329nam a22001337a 4500 |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | KESHAV R |
| 245 ## - TITLE STATEMENT | |
| Title | BOUNDED MODEL CHECKING FOR CLIENT SERVER SYSTEMS WITH UNBOUNDED CLIENTS |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 82 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | CLIENT SERVER SYSTEM |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Date of a work | APRIL 2017 |
| 852 ## - LOCATION/CALL NUMBER | |
| Location | CENTRAL LIBRARY |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Project Report |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Date acquired | 2018-02-05 |
| Home library | Current library | Degree | Accession Number | Koha item type | Department |
|---|---|---|---|---|---|
| Central Library - SSNCE | Central Library - SSNCE | BE | PR2912 | Project Report | CSE |