Dependable software systems engineering / (Record no. 682245)

MARC details
000 -LEADER
fixed length control field 03891cam a2200649 i 4500
001 - CONTROL NUMBER
control field on1012107245
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240829145953.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m 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 171117s2017 ne ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency N$T
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency N$T
Modifying agency IOSPR
-- IDEBK
-- EBLCP
-- N$T
-- YDX
-- OCLCF
-- MERUC
-- CUY
-- EZ9
-- INT
-- OCLCQ
-- LVT
-- G3B
-- OCLCQ
-- IGB
-- STF
-- OCLCQ
-- K6U
-- VT2
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
019 ## -
-- 1012500698
-- 1249230814
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781614998105
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1614998108
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781614998099
Qualifying information (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 1614998094
Qualifying information (print)
035 ## - SYSTEM CONTROL NUMBER
System control number 1632351
-- (N$T)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1012107245
Canceled/invalid control number (OCoLC)1012500698
-- (OCoLC)1249230814
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.758
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051230
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element NATO Advanced Studies Institute on Dependable Software Systems Engineering
Date of meeting (2016 :
Location of meeting Marktoberdorf, Germany)
9 (RLIN) 871938
245 10 - TITLE STATEMENT
Title Dependable software systems engineering /
Statement of responsibility, etc. edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Amsterdam, Netherlands :
Name of producer, publisher, distributor, manufacturer IOS Press,
Date of production, publication, distribution, manufacture, or copyright notice 2017.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement NATO science for peace and security series, Sub-series D, Information and communication security,
International Standard Serial Number 1879-8292 ;
Volume/sequential designation vol. 50
500 ## - GENERAL NOTE
General note "Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016."
500 ## - GENERAL NOTE
General note Includes indexes.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Online resource; title from PDF title page (IOS Press, viewed November 20, 2017).
505 00 - FORMATTED CONTENTS NOTE
Miscellaneous information Machine generated contents note:
Title Reactive Synthesis: Towards Output-Sensitive Algorithms /
Statement of responsibility Felix Klein --
Title Computing the Next-State Function of a Requirements Model /
Statement of responsibility M.M. Archer --
Title From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning /
Statement of responsibility Axel Legay --
Title Viper: A Verification Infrastructure for Permission-Based Reasoning /
Statement of responsibility Alexander J. Summers --
Title Automata Based Validation Techniques /
Statement of responsibility Doron Peled --
Title Defect-Based Testing /
Statement of responsibility Alexander Pretschner --
Title Temporal Logic as Filtering /
Statement of responsibility Radu Grosu --
Title K: A Semantic Framework for Programming Languages and Formal Analysis Tools /
Statement of responsibility Grigore Rosu --
Title Assurance and Assurance Cases /
Statement of responsibility John Rushby.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
590 ## - LOCAL NOTE (RLIN)
Local note Added to collection customer.56279.3
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering
Form subdivision Congresses.
9 (RLIN) 15264
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Reliability
Form subdivision Congresses.
9 (RLIN) 18123
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Génie logiciel
Form subdivision Congrès.
9 (RLIN) 18168
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Fiabilité
Form subdivision Congrès.
9 (RLIN) 26740
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- General.
Source of heading or term bisacsh
9 (RLIN) 4347
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Reliability
Source of heading or term fast
9 (RLIN) 18125
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering
Source of heading or term fast
9 (RLIN) 14736
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pretschner, Alexander,
Relator term editor.
9 (RLIN) 794443
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Peled, Doron A.,
Dates associated with a name 1962-
Relator term editor.
-- https://id.oclc.org/worldcat/entity/E39PBJbCKd76vK9JBbkv3hrrMP
9 (RLIN) 17138
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Hutzelmann, Thomas,
Relator term editor.
9 (RLIN) 871939
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
International Standard Book Number 1614998094
-- 9781614998099
Record control number (OCoLC)1011111575
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. 50.
9 (RLIN) 390686
856 40 - ELECTRONIC LOCATION AND ACCESS
Materials specified EBSCOhost
Uniform Resource Identifier <a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1632351">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1632351</a>
938 ## -
-- EBL - Ebook Library
-- EBLB
-- EBL5150839
938 ## -
-- EBSCOhost
-- EBSC
-- 1632351
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- cis39307012
938 ## -
-- YBP Library Services
-- YANK
-- 14992121
994 ## -
-- 92
-- N$T
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
  Not Lost     EBSCO Computers e-Library   29/08/2024   29/08/2024 29/08/2024 eBook

Powered by Koha