MARC details
000 -LEADER |
fixed length control field |
07141cam a2201165Ia 4500 |
001 - CONTROL NUMBER |
control field |
ocm71251545 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20220712201544.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 cnu---unuuu |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
060905s2006 ne a ob 101 0 eng d |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2005937272 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
N$T |
Language of cataloging |
eng |
Description conventions |
pn |
Transcribing agency |
N$T |
Modifying agency |
OCLCQ |
-- |
HVC |
-- |
YDXCP |
-- |
SFB |
-- |
CAI |
-- |
WPG |
-- |
IOSPR |
-- |
IDEBK |
-- |
OCLCE |
-- |
E7B |
-- |
OCLCQ |
-- |
MHW |
-- |
TUU |
-- |
OCLCQ |
-- |
MCR |
-- |
DKDLA |
-- |
FVL |
-- |
OCLCQ |
-- |
OCLCO |
-- |
DEBSZ |
-- |
OCLCQ |
-- |
OCLCO |
-- |
OCLCQ |
-- |
OCLCO |
-- |
EBLCP |
-- |
OCLCO |
-- |
OCLCQ |
-- |
OCLCO |
-- |
AZK |
-- |
MOR |
-- |
PIFBR |
-- |
ZCU |
-- |
OCLCQ |
-- |
MERUC |
-- |
OCLCQ |
-- |
WY@ |
-- |
OCLCA |
-- |
LUE |
-- |
OCLCF |
-- |
STF |
-- |
WRM |
-- |
VTS |
-- |
ICG |
-- |
VT2 |
-- |
OCLCQ |
-- |
WYU |
-- |
DKC |
-- |
BNG |
-- |
OCLCQ |
-- |
UKCRE |
-- |
OCLCA |
-- |
NRAMU |
-- |
CRU |
-- |
EZ9 |
-- |
OCLCO |
015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
National bibliography number |
GBA647473 |
Source |
bnb |
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
Record control number |
013467698 |
Source |
Uk |
019 ## - |
-- |
191037906 |
-- |
243613663 |
-- |
276799357 |
-- |
473704868 |
-- |
488644723 |
-- |
491253452 |
-- |
607734058 |
-- |
609301881 |
-- |
613357324 |
-- |
722472606 |
-- |
728016947 |
-- |
961511713 |
-- |
962709363 |
-- |
988501191 |
-- |
992060915 |
-- |
1037713637 |
-- |
1038681167 |
-- |
1045524695 |
-- |
1055404825 |
-- |
1066549417 |
-- |
1081234271 |
-- |
1153551999 |
-- |
1228567727 |
-- |
1249216805 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1423797426 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781423797425 |
Qualifying information |
(electronic bk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1601291272 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781601291271 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781607501473 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1607501473 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
1586035703 |
Qualifying information |
(cloth) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
Cancelled/invalid ISBN |
9781586035709 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000046686654 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000051420652 |
029 1# - (OCLC) |
OCLC library identifier |
AU@ |
System control number |
000060051209 |
029 1# - (OCLC) |
OCLC library identifier |
CHBIS |
System control number |
005889425 |
029 1# - (OCLC) |
OCLC library identifier |
CHBIS |
System control number |
009866690 |
029 1# - (OCLC) |
OCLC library identifier |
CHVBK |
System control number |
198086350 |
029 1# - (OCLC) |
OCLC library identifier |
CHVBK |
System control number |
199099731 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV043100011 |
029 1# - (OCLC) |
OCLC library identifier |
DEBBG |
System control number |
BV044083683 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
396089941 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
422265683 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
430344171 |
029 1# - (OCLC) |
OCLC library identifier |
DEBSZ |
System control number |
45642041X |
029 1# - (OCLC) |
OCLC library identifier |
GBVCP |
System control number |
802166695 |
029 1# - (OCLC) |
OCLC library identifier |
NZ1 |
System control number |
12438009 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)71251545 |
Canceled/invalid control number |
(OCoLC)191037906 |
-- |
(OCoLC)243613663 |
-- |
(OCoLC)276799357 |
-- |
(OCoLC)473704868 |
-- |
(OCoLC)488644723 |
-- |
(OCoLC)491253452 |
-- |
(OCoLC)607734058 |
-- |
(OCoLC)609301881 |
-- |
(OCoLC)613357324 |
-- |
(OCoLC)722472606 |
-- |
(OCoLC)728016947 |
-- |
(OCoLC)961511713 |
-- |
(OCoLC)962709363 |
-- |
(OCoLC)988501191 |
-- |
(OCoLC)992060915 |
-- |
(OCoLC)1037713637 |
-- |
(OCoLC)1038681167 |
-- |
(OCoLC)1045524695 |
-- |
(OCoLC)1055404825 |
-- |
(OCoLC)1066549417 |
-- |
(OCoLC)1081234271 |
-- |
(OCoLC)1153551999 |
-- |
(OCoLC)1228567727 |
-- |
(OCoLC)1249216805 |
037 ## - SOURCE OF ACQUISITION |
Stock number |
978-1-58603-570-9 |
Source of stock number/acquisition |
IOS Press |
Note |
http://www.iospress.nl |
042 ## - AUTHENTICATION CODE |
Authentication code |
dlr |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
Q295 |
Item number |
.N38 2005eb |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
COM |
Subject category code subdivision |
COM014000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.8 |
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 Research Workshop on Verification of Infinite-state Systems with Applications to Security |
Date of meeting |
(2005 : |
Location of meeting |
Timișoara, Romania) |
9 (RLIN) |
1373870 |
245 10 - TITLE STATEMENT |
Title |
Verification of infinite-state systems with applications to security / |
Statement of responsibility, etc |
edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Amsterdam ; |
-- |
Washington, D.C. : |
Name of publisher, distributor, etc |
IOS Press, |
Date of publication, distribution, etc |
©2006. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource (vii, 235 pages) : |
Other physical details |
illustrations. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
data file |
-- |
rda |
490 1# - SERIES STATEMENT |
Series statement |
NATO security through science series. D : Information and communication security ; |
Volume number/sequential designation |
vol. 1 |
500 ## - GENERAL NOTE |
General note |
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and author index. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be Fragile. |
520 ## - SUMMARY, ETC. |
Summary, etc |
Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop. |
588 0# - |
-- |
Print version record. |
506 ## - RESTRICTIONS ON ACCESS NOTE |
Materials specified |
Use copy |
Standardized terminology for access restriction |
Restrictions unspecified |
Source of term |
star |
Institution to which field applies |
MiAaHDL |
533 ## - REPRODUCTION NOTE |
Type of reproduction |
Electronic reproduction. |
Place of reproduction |
[S.l.] : |
Agency responsible for reproduction |
HathiTrust Digital Library, |
Date of reproduction |
2010. |
-- |
MiAaHDL |
538 ## - SYSTEM DETAILS NOTE |
System details note |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
-- |
MiAaHDL |
583 1# - ACTION NOTE |
Action |
digitized |
Time/date of action |
2010 |
Jurisdiction |
HathiTrust Digital Library |
Status |
committed to preserve |
Source of term |
pda |
Institution to which field applies |
MiAaHDL |
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 |
System theory |
General subdivision |
Mathematical models |
Form subdivision |
Congresses. |
9 (RLIN) |
162047 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
System theory |
General subdivision |
Security measures |
Form subdivision |
Congresses. |
9 (RLIN) |
162048 |
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 software |
General subdivision |
Verification |
Form subdivision |
Congresses. |
9 (RLIN) |
162050 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Théorie des systèmes |
General subdivision |
Modèles mathématiques |
Form subdivision |
Congrès. |
9 (RLIN) |
1373871 |
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Théorie des systèmes |
General subdivision |
Sécurité |
-- |
Mesures |
Form subdivision |
Congrès. |
9 (RLIN) |
1373872 |
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 |
Logiciels |
General subdivision |
Vérification |
Form subdivision |
Congrès. |
9 (RLIN) |
878963 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Internet |
-- |
Security. |
Source of heading or term |
bisacsh |
9 (RLIN) |
871407 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Networking |
-- |
Security. |
Source of heading or term |
bisacsh |
9 (RLIN) |
871408 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
COMPUTERS |
General subdivision |
Security |
-- |
General. |
Source of heading or term |
bisacsh |
9 (RLIN) |
852381 |
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 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer software |
General subdivision |
Verification. |
Source of heading or term |
fast |
-- |
(OCoLC)fst00872604 |
9 (RLIN) |
190249 |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
System theory |
General subdivision |
Mathematical models. |
Source of heading or term |
fast |
-- |
(OCoLC)fst01141427 |
9 (RLIN) |
347816 |
653 1# - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Infinite-state systems |
653 1# - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
Security |
653 1# - INDEX TERM--UNCONTROLLED |
Uncontrolled term |
VISSAS |
655 #0 - INDEX TERM--GENRE/FORM |
Genre/form data or focus term |
Electronic book. |
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 |
Clarke, Edmund M., |
Titles and other words associated with a name |
Jr. |
Fuller form of name |
(Edmund Melson), |
Dates associated with a name |
1945-2020. |
9 (RLIN) |
1373873 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Minea, Marius. |
9 (RLIN) |
162052 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Ţiplea, Ferucio Laurenţiu. |
9 (RLIN) |
1373874 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Display text |
Print version: |
Main entry heading |
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 Mar. 17-22 : Timaşoara, Romania). |
Title |
Verification of infinite-state systems with applications to security. |
Place, publisher, and date of publication |
Amsterdam ; Washington, D.C. : IOS Press, ©2006 |
International Standard Book Number |
1586035703 |
Record control number |
(DLC) 2005937272 |
-- |
(OCoLC)65661588 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
NATO security through science series. |
Number of part/section of a work |
D, |
Name of part/section of a work |
Information and communication security ; |
Volume number/sequential designation |
vol. 1. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059</a> |
938 ## - |
-- |
EBL - Ebook Library |
-- |
EBLB |
-- |
EBL265966 |
938 ## - |
-- |
ebrary |
-- |
EBRY |
-- |
ebr10130654 |
938 ## - |
-- |
EBSCOhost |
-- |
EBSC |
-- |
164059 |
938 ## - |
-- |
ProQuest MyiLibrary Digital eBook Collection |
-- |
IDEB |
-- |
50510 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
3207164 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
2468034 |
938 ## - |
-- |
YBP Library Services |
-- |
YANK |
-- |
2628204 |
994 ## - |
-- |
92 |
-- |
INOPJ |