Formal system verification : (Record no. 175517)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00630 a2200205 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 180816t2018 xxu||||| |||| 00| 0 eng d |
| 020 ## - ISBN | |
| ISBN | 9783319576831 |
| 041 ## - LANGUAGE | |
| Language | English |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Classification Number | 004.415.53 |
| Call Number | F6 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Item Type | Book |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Supervisor | Drechsler, Rolf |
| Relator Term | editor |
| 245 ## - TITLE STATEMENT | |
| Title | Formal system verification : |
| Remainder of title | state-of-the-art and future trends |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of Publication | Cham |
| Name of Publisher | Springer Nature |
| Date of Copyright | 2018 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xvi, 182p. : ill. |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Formal System Verification |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | COMPUTER SOFTWARE-Verification |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | COMPUTER SYSTEMS-Verification |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | ELECTRONIC SYSTEMS |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Integrated circuits-Verification |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Permanent location | Current location | Shelving location | Date acquired | Cost, normal purchase price | Shelving Number | Total Checkouts | Full call number | Barcode | Date last seen | Date last borrowed | Cost, replacement price | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library, University of Moratuwa | Library, University of Moratuwa | Lending Collection | 26/07/2018 | 17566.53 | 03-02-01 | 1 | 004.415.53 F6 | 112854 | 20/08/2020 | 07/09/2018 | 21958.17 | 26/07/2018 | Book |