Software safety and security (Record no. 139871)

MARC details
000 -LEADER
fixed length control field 02154nam a2200433 a 4500
001 - CONTROL NUMBER
control field 0000150723
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20171002062312.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m u
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 120417s2012 dcua s 101 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
Canceled/invalid LC control number 2012937823
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781614990277 (hardcover)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781614990284 (online)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781614990284 (e-book)
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10574718
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)802047753
040 ## - CATALOGING SOURCE
Original cataloging agency CaPaEBR
Transcribing agency CaPaEBR
050 14 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.V47
Item number N38 2011eb
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
Date of meeting (2011 :
Location of meeting Bayrischzell, Germany)
245 10 - TITLE STATEMENT
Title Software safety and security
Medium [electronic resource] :
Remainder of title tools for analysis and verification /
Statement of responsibility, etc. edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Washington, D.C. :
Name of publisher, distributor, etc. IOS Press,
Date of publication, distribution, etc. 2012.
300 ## - PHYSICAL DESCRIPTION
Extent ix, 387 p. :
Other physical details ill.
490 1# - SERIES STATEMENT
Series statement NATO science for peace and security series. Sub-series D, Information and communication security,
International Standard Serial Number 1874-6268 ;
Volume/sequential designation v. 33
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 Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.
500 ## - GENERAL NOTE
General note Includes indexes.
533 ## - REPRODUCTION NOTE
Type of reproduction Electronic reproduction.
Place of reproduction Palo Alto, Calif. :
Agency responsible for reproduction ebrary,
Date of reproduction 2013.
Note about reproduction Available via World Wide Web.
-- Access may be limited to ebrary affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Verification
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer security
Form subdivision Congresses.
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
Source of term local
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Nipkow, Tobias,
Dates associated with a name 1958-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Grumberg, Orna.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Hauptmann, Benedikt.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element NATO Emerging Security Challenges Division.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ebrary, Inc.
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/sequential designation v. 33.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://site.ebrary.com/lib/daystar/Doc?id=10574718">http://site.ebrary.com/lib/daystar/Doc?id=10574718</a>
Public note An electronic book accessible through the World Wide Web; click to view
908 ## - PUT COMMAND PARAMETER (RLIN)
Put command parameter 170314
942 00 - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Book

No items available.