Search the Library Catalogue
Computer-Aided Verification Of Coordinating Processes: The Automata-Theoretic Approach / (Record no. 178194)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00362nam a2200109Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 230724s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780691634890 |
| Qualifying information | hbk |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 4.019 |
| Item number | KUR |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Author name | Kurshan |
| 245 #0 - TITLE STATEMENT | |
| Title | Computer-Aided Verification Of Coordinating Processes: The Automata-Theoretic Approach / |
| Statement of responsibility, etc. | Kurshan |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher, distributor, etc. | Princeton University Press , |
| Date of publication, distribution, etc. | 2019 |
| Koha item type | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Bill Number | Accession Number | Full call number | Withdrawn status | Lost status | Not for loan | Collection |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Reference | Kalaignar Centenary Library Madurai | Kalaignar Centenary Library Madurai | நான்காம் தளம் / Fourth floor | 24/06/2023 | 11927.70 | 3012639 | 348037 | 4.019 KUR | ENGLISH-REFERENCE BOOKS |