MARC details
000 -LEADER |
fixed length control field |
05009cam a2200889Ia 4500 |
001 - CONTROL NUMBER |
control field |
ocn647184853 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220713034238.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION |
fixed length control field |
m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr cn||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
100713s2010 ne a ob 101 0 eng d |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2017394913 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
IOSPR |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
IOSPR |
Modifying agency |
EBLCP |
-- |
YDXCP |
-- |
OCLCQ |
-- |
MERUC |
-- |
OCLCF |
-- |
OCLCQ |
-- |
OCLCO |
-- |
DEBSZ |
-- |
OCLCO |
-- |
OCL |
-- |
OCLCO |
-- |
OCLCQ |
-- |
OCLCO |
-- |
N$T |
-- |
OCLCO |
-- |
OCLCQ |
-- |
AGLDB |
-- |
ICA |
-- |
ZCU |
-- |
OCLCQ |
-- |
U3W |
-- |
OCLCA |
-- |
D6H |
-- |
VTS |
-- |
ICG |
-- |
INT |
-- |
AU@ |
-- |
OCLCQ |
-- |
STF |
-- |
DKC |
-- |
OCLCQ |
-- |
M8D |
-- |
AJS |
-- |
HS0 |
-- |
VT2 |
-- |
OCLCO |
019 ## - |
-- |
1058346205 |
-- |
1228615939 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781607501008 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1607501007 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781607500995 |
Qualifying information |
(hbk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
160750099X |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000046054353 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV044145884 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
430873689 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
484696564 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)647184853 |
Canceled/invalid control number |
(OCoLC)1058346205 |
-- |
(OCoLC)1228615939 |
037 ## - SOURCE OF ACQUISITION |
Stock number |
978-1-60750-100-8 |
Source of stock number/acquisition |
IOS Press |
Note |
http://www.iospress.nl |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.76 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
COM014000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
013000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
014000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
018000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
067000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
032000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
037000 |
Source |
bisacsh |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
052000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004 |
Edition number |
22 |
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 Logics and Languages for Reliability and Security |
Date of meeting |
(2009 : |
Location of meeting |
Marktoberdorf, Germany) |
9 (RLIN) |
1471182 |
245 10 - TITLE STATEMENT |
Title |
Logics and languages for reliability and security / |
Statement of responsibility, etc |
edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Amsterdam : |
Name of publisher, distributor, etc |
IOS Press, |
Date of publication, distribution, etc |
2010. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (ix, 325 pages) : |
Other physical details |
illustrations. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
490 1# - SERIES STATEMENT |
Series statement |
NATO science for peace and security series. D, Information and communication security, |
International Standard Serial Number |
1874-6268 ; |
Volume number/sequential designation |
v. 24 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical reference and index. |
588 0# - |
-- |
Print version record. |
520 ## - SUMMARY, ETC. |
Summary, etc |
Software-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title presents the papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Title page; Preface; Contents; A Gentle Introduction to Formal Verification of Computer Systems by Abstract Interpretation; Newtonian Program Analysis -- An Introduction; Principles and Applications of Refinement Types; 2-Valued and 3-Valued Abstraction-Refinement in Model Checking; Modal Fixed Point Logics; Effective Analysis of Infinite State Stochastic Processes and Games; Multi-Valued Automata and Their Applications; Mechanized Semantics; Using Security Policies to Write Secure Software; Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata |
505 8# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Implicit Flows in Malicious and Nonmalicious CodeSubject Index; Author Index |
590 ## - LOCAL NOTE (RLIN) |
Local note |
eBooks on EBSCOhost |
Provenance (VM) [OBSOLETE] |
EBSCO eBook Subscription Academic Collection - Worldwide |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer security |
Form subdivision |
Congresses. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer logic |
Form subdivision |
Congresses. |
9 (RLIN) |
192240 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Sécurité informatique |
Form subdivision |
Congrès. |
9 (RLIN) |
878964 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Logique informatique |
Form subdivision |
Congrès. |
9 (RLIN) |
1444311 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Computer Literacy. |
Source of heading or term |
bisacsh |
9 (RLIN) |
38227 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Computer Science. |
Source of heading or term |
bisacsh |
9 (RLIN) |
38230 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Data Processing. |
Source of heading or term |
bisacsh |
9 (RLIN) |
38229 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Hardware |
-- |
General. |
Source of heading or term |
bisacsh |
9 (RLIN) |
38231 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Information Technology. |
Source of heading or term |
bisacsh |
9 (RLIN) |
38228 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Machine Theory. |
Source of heading or term |
bisacsh |
9 (RLIN) |
38226 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Reference. |
Source of heading or term |
bisacsh |
9 (RLIN) |
38225 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer logic. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00872265 |
9 (RLIN) |
68522 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer security. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00872484 |
9 (RLIN) |
372 |
655 #0 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #4 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic books. |
655 #7 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Conference papers and proceedings. |
Source of term |
fast |
-- |
(OCoLC)fst01423772 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Esparza, Javier. |
9 (RLIN) |
246263 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Spanfelner, Bernd. |
9 (RLIN) |
246264 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Grumberg, Orna. |
9 (RLIN) |
192241 |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
IOS Press. |
9 (RLIN) |
332468 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Main entry heading |
NATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany). |
Title |
Logics and languages for reliability and security. |
Place, publisher, and date of publication |
Amsterdam : IOS Press, 2010 |
International Standard Book Number |
9781607500995 |
-- |
160750099X |
Record control number |
(OCoLC)567148833 |
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. 24. |
9 (RLIN) |
195328 |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1361692">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1361692</a> |
938 ## - |
-- |
EBL - Ebook Library |
-- |
EBLB |
-- |
EBL557042 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
1361692 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
3379147 |
994 ## - |
-- |
92 |
-- |
INOPJ |