Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers (Record no. 85085)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00862nam a2200133Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 2212144s2020 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030416003 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Supratik Chakraborty, Jorge A. Navas. |
| 245 ## - TITLE STATEMENT | |
| Title | Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Cham |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2020 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. Computer logic. Programming languages (Electronic computers). Computer system failures. Special purpose computers. Computers. Software Engineering. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. System Performance and Evaluation. Special Purpose and Application-Based Systems. The Computing Profession. |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-030-41600-3">https://doi.org/10.1007/978-3-030-41600-3</a> |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| BITS Pilani Hyderabad | BITS Pilani Hyderabad | 16/12/2022 | EBK001846 | 16/12/2022 | 16/12/2022 | Springer EBooks |