Verification of infinite-state systems with applications to security / (Record no. 2886875)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        E-Books EBSCO OPJGU Sonepat- Campus OPJGU Sonepat- Campus 12/07/2022   12/07/2022 12/07/2022 Electronic-Books

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library