Formal Methods for Safety and Security (Record no. 13304)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02863nam a22005895i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-981-10-4121-1 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20211207094145.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 171110s2018 si | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9789811041211 |
| 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 | TRP |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TEC002000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TRP |
| Source | thema |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | TTDS |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 629.1 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Formal Methods for Safety and Security |
| Medium | [electronic resource] : |
| Remainder of title | Case Studies for Aerospace Applications / |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2018. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Singapore : |
| Name of producer, publisher, distributor, manufacturer | Springer Singapore : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XII, 132 p. 42 illus., 24 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 volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as aerospace. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike. . |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Mechanical Engineering |
| 9 (RLIN) | 4626 |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Aerospace Technology and Astronautics. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Calculus of Variations and Optimal Control; Optimization. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Quality Control, Reliability, Safety and Risk. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Software Engineering. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nanda, Manju. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Jeppu, Yogananda. |
| 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 | 9789811041204 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9789811041228 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9789811350542 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-981-10-4121-1">https://doi.org/10.1007/978-981-10-4121-1</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.