MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04648cam a2200733Ii 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn908030528 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240829144827.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m 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 |
150427s2014 ne ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
N$T |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
N$T |
| Modifying agency |
N$T |
| -- |
IOSPR |
| -- |
IDEBK |
| -- |
CDX |
| -- |
E7B |
| -- |
YDXCP |
| -- |
EBLCP |
| -- |
OCLCO |
| -- |
DEBSZ |
| 019 ## - |
|---|
| -- |
923713928 |
| -- |
961564387 |
| -- |
962659466 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781614993858 |
| Qualifying information |
electronic bk. |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1614993858 |
| Qualifying information |
electronic bk. |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9781614993841 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
984688 |
| -- |
(N$T) |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)908030528 |
| Canceled/invalid control number |
(OCoLC)923713928 |
| -- |
(OCoLC)961564387 |
| -- |
(OCoLC)962659466 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.S95 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
053000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.8 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
NATO Advanced Study Institute on Software Systems Safety |
| Date of meeting |
(2013 : |
| Location of meeting |
Marktoberdorf, Germany) |
| 9 (RLIN) |
786713 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Software systems safety / |
| Statement of responsibility, etc. |
edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Amsterdam : |
| Name of producer, publisher, distributor, manufacturer |
IOS Press, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource. |
| 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
NATO science for peace and security series. D: Information and communication security, |
| International Standard Serial Number |
1879-8292 ; |
| Volume/sequential designation |
vol. 36 |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (Ebsco, viewed April 28, 2015). |
| 500 ## - GENERAL NOTE |
|---|
| General note |
"This publication is supported by NATO Science for Peace and Security Programme"--Cover. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
"Published in cooperation with NATO Emerging Security Challenges Division." |
| 500 ## - GENERAL NOTE |
|---|
| General note |
"Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July-11 August 2013." |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and indexes. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
""SOFTWARE SYSTEMS SAFETY""; ""Preface""; ""Contents""; ""May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification""; ""SAT-based Model Checking: Interpolation, IC3, and Beyond""; ""Program Synthesis""; ""Applications of Interactive Proof to Data Flow Analysis and Security""; ""E-Voting Systems""; ""Probabilistic Model Checking for Biology""; ""Foundations of Infinite-State Verification""; ""Boolean Satisfiability: Solvers and Extensions""; ""Programming in Paragon""; ""Frameworks for Interprocedural Analysis of Concurrent Programs"" |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
""Practical Software Synthesis""""Subject Index""; ""Author Index"" |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs affecting millions of people and making the headlines almost daily. The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of secure programs. This book presents the papers delivered at the NATO Advanced Study Institute (ASI) S. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systems software |
| General subdivision |
Safety measures |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
786714 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer security |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14968 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15264 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS / Security / General |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
5487 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software -- Reliability -- Congresses. |
| 9 (RLIN) |
999175 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering -- Congresses. |
| 9 (RLIN) |
60745 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software protection -- Congresses. |
| 9 (RLIN) |
999176 |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System safety -- Congresses. |
| 9 (RLIN) |
999177 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 655 #0 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Grumberg, Orna, |
| Relator term |
editor. |
| 9 (RLIN) |
23510 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Seidl, Helmut |
| Titles and other words associated with a name |
(Computer scientist), |
| Relator term |
editor. |
| 9 (RLIN) |
45062 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Irlbeck, Maximilian, |
| Relator term |
editor. |
| 9 (RLIN) |
786716 |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
NATO Science for Peace and Security Programme. |
| 9 (RLIN) |
438299 |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
NATO Emerging Security Challenges Division. |
| 9 (RLIN) |
711930 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Grumberg, O. |
| Title |
Software Systems Safety |
| Place, publisher, and date of publication |
Burke : IOS Press,c2014 |
| International Standard Book Number |
9781614993841 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
NATO science for peace and security series. |
| Number of part/section of a work |
Sub-series D, |
| Name of part/section of a work |
Information and communication security ; |
| Volume number/sequential designation |
v. 36. |
| 9 (RLIN) |
390686 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
EBSCOhost |
| Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=984688">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=984688</a> |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
984688 |
| 938 ## - |
|---|
| -- |
Ingram Digital eBook Collection |
| -- |
IDEB |
| -- |
cis28841427 |
| 938 ## - |
|---|
| -- |
Coutts Information Services |
| -- |
COUT |
| -- |
28841427 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr11048359 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
12409897 |
| 938 ## - |
|---|
| -- |
EBL - Ebook Library |
| -- |
EBLB |
| -- |
EBL2033821 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
N$T |