Formal System Verification (Record no. 13329)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03058nam a22005175i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-57685-5 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20211209132910.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 170621s2018 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783319576855 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | AIKTC-KRRC |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | ENG |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TJFC |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC008010 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TJFC |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 621.3815 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Formal System Verification |
| Medium | [electronic resource] : |
| Remainder of title | State-of the-Art and Future Trends / |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2018. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer International Publishing : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XVI, 182 p. 71 illus., 49 illus. in color. |
| Other physical details | | Binding - Card Paper | |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies. Provides latest results on formal methods along the complete design flow; Covers different abstraction layers, from ESL to RTL; Addresses formal verification in both digital and analog contexts; Demonstrates techniques in current industrial use. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | EXTC Engineering |
| 9 (RLIN) | 4619 |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Circuits and Systems. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Processor Architectures. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Electronics and Microelectronics, Instrumentation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Drechsler, Rolf. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783319576831 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783319576848 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783319862231 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-319-57685-5">https://doi.org/10.1007/978-3-319-57685-5</a> |
| Public note | Click here to access eBook in Springer Nature platform. (Within Campus only.) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| Source of classification or shelving scheme | Dewey Decimal Classification |
No items available.