Lectures on Runtime Verification: Introductory and Advanced Topics (Record no. 4225)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00302nam a2200109Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 241121s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783319756318 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Ezio Bartocci |
| 9 (RLIN) | 10856 |
| 245 #0 - TITLE STATEMENT | |
| Title | Lectures on Runtime Verification: Introductory and Advanced Topics |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher, distributor, etc. | Springer |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Date of publication, distribution, etc. | 2018 |
No items available.