Logics and languages for reliability and security / (Record no. 2925469)

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
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 13/07/2022   13/07/2022 13/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