MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04385cam a2200829 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn986228158 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250707090501.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
170508s2017 sz a ob 100 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
LGG |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
LGG |
| Modifying agency |
GW5XE |
| -- |
OCLCO |
| -- |
YDX |
| -- |
OCLCF |
| -- |
UAB |
| -- |
ESU |
| -- |
IOG |
| -- |
COO |
| -- |
MERER |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
CAUOI |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
KSU |
| -- |
CRU |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
WYU |
| -- |
UKMGB |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBB8O3206 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
019182611 |
| Source |
Uk |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319572888 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319572881 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319572871 |
| Qualifying information |
(print) |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060553693 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
UKMGB |
| System control number |
019182611 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999892258905765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)986228158 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
com.springer.onix.9783319572888 |
| Source of stock number/acquisition |
Springer Nature |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.F67 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.01/51 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
NFM (Symposium) |
| Number of part/section/meeting |
(9th : |
| Date of meeting |
2017 : |
| Location of meeting |
Moffett Field, Calif.) |
| 9 (RLIN) |
60360 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
NASA formal methods : |
| Remainder of title |
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / |
| Statement of responsibility, etc. |
edited by Clark Barrett, Misty Davies, Temesghen Kahsai. |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
NFM 2017 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Switzerland : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2017. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xi, 436 pages) : |
| Other physical details |
illustrations |
| 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 |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
10227 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Formal methods |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed May 8, 2017). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15679 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Méthodes formelles (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18838 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming & scripting languages: general. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
53441 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming |
| General subdivision |
software development. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
53440 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical theory of computation. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
14275 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms & data structures. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
53448 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
14736 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Programming Languages |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Programming |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
53444 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| General subdivision |
Logic. |
| Source of heading or term |
bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Programming |
| -- |
Algorithms. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
53450 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computers |
| General subdivision |
Software Development & Engineering |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
4347 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15635 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Barrett, Clark, |
| Relator term |
editor. |
| 9 (RLIN) |
60363 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Davies, Misty, |
| Relator term |
editor. |
| 9 (RLIN) |
60364 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kahsai, Temesghen, |
| Relator term |
editor. |
| 9 (RLIN) |
60365 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
NASA formal methods (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFTqbMqkJpRYmfvWFYVjqP |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
10227. |
| International Standard Serial Number |
0302-9743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Formal methods. |
| 9 (RLIN) |
60367 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 2, |
| Name of part/section of a work |
Programming and software engineering. |
| 9 (RLIN) |
20654 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-319-57288-8">https://link.springer.com/10.1007/978-3-319-57288-8</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH34381381 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL5578845 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
14275139 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |