Dependable Software Engineering: Theories, Tools, and Applications : (Record no. 644400)

MARC details
000 -LEADER
fixed length control field 05025cam a2200973 i 4500
001 - CONTROL NUMBER
control field ocn932170179
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703164356.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn|008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 151016s2015 gw a od 100 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency NUI
Language of cataloging eng
Description conventions pn
Transcribing agency NUI
Modifying agency OCLCO
-- ORU
-- OCLCF
-- GW5XE
-- OCLCO
-- YDXCP
-- OCLCO
-- OCLCQ
-- OCLCO
-- KSU
-- IAS
-- JBG
-- IAO
-- ICN
-- VT2
-- IAD
-- SOI
-- OCLCQ
-- ILO
-- ESU
-- OCLCQ
-- IOG
-- U3W
-- BUF
-- OCLCQ
-- CEF
-- TFW
-- OCLCQ
-- AU@
-- WYU
-- OCLCQ
-- DCT
-- ERF
-- OCLCQ
-- UKAHL
-- COM
-- OCLCO
-- OCL
-- OCLCQ
-- OCLCO
-- OCLCL
-- OCLCQ
019 ## -
-- 932002748
-- 961896873
-- 963332362
-- 964865859
-- 1005772991
-- 1012075152
-- 1027494392
-- 1048146917
-- 1066428634
-- 1081232849
-- 1086420388
-- 1110886467
-- 1112581288
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319259420
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3319259423
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783319259413
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3319259415
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-25942-0
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057667392
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 400332744
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:999908434205765
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)932170179
Canceled/invalid control number (OCoLC)932002748
-- (OCoLC)961896873
-- (OCoLC)963332362
-- (OCoLC)964865859
-- (OCoLC)1005772991
-- (OCoLC)1012075152
-- (OCoLC)1027494392
-- (OCoLC)1048146917
-- (OCoLC)1066428634
-- (OCoLC)1081232849
-- (OCoLC)1086420388
-- (OCoLC)1110886467
-- (OCoLC)1112581288
037 ## - SOURCE OF ACQUISITION
Source of stock number/acquisition Springer
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.758
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
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 Symposium on Dependable Software Engineering: Theories, Tools and Applications
Number of part/section/meeting (1st :
Date of meeting 2015 :
Location of meeting Nanjing, China)
9 (RLIN) 55800
245 10 - TITLE STATEMENT
Title Dependable Software Engineering: Theories, Tools, and Applications :
Remainder of title First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
Statement of responsibility, etc. edited by Xuandong Li, Zhiming Liu, Wang Yi.
246 3# - VARYING FORM OF TITLE
Title proper/short title SETTA 2015
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2015.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xix, 317 pages) :
Other physical details color illustrations
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
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 9409
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 2, Programming and software engineering
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
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 science.
9 (RLIN) 941
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering.
9 (RLIN) 14736
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic.
9 (RLIN) 6177
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
9 (RLIN) 1341
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer simulation.
9 (RLIN) 2625
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic Data Processing
9 (RLIN) 6665
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Simulation
9 (RLIN) 2625
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 Informatique.
9 (RLIN) 14930
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Génie logiciel.
9 (RLIN) 19335
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logique informatique.
9 (RLIN) 19533
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logique symbolique et mathématique.
9 (RLIN) 11864
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Simulation par ordinateur.
9 (RLIN) 11506
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element simulation.
Source of heading or term aat
9 (RLIN) 2395
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic
Source of heading or term fast
9 (RLIN) 6177
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
Source of heading or term fast
9 (RLIN) 941
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer simulation
Source of heading or term fast
9 (RLIN) 2625
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical
Source of heading or term fast
9 (RLIN) 1341
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 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Dictionary
9 (RLIN) 142581
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term dictionaries.
Source of term aat
9 (RLIN) 96209
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term proceedings (reports)
Source of term aat
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Dictionaries
Source of term fast
9 (RLIN) 96209
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings
Source of term fast
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Dictionaries.
Source of term lcgft
9 (RLIN) 96209
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Dictionnaires.
Source of term rvmgf
9 (RLIN) 600163
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Li, Xuandong,
Relator term editor.
9 (RLIN) 55801
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Liu, Zhiming,
Relator term editor.
9 (RLIN) 55802
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Yi, Wang,
Relator term editor.
9 (RLIN) 24689
758 ## -
-- has work:
-- Dependable software engineering (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGp4kYW4pPXXHGHWPCgCpK
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783319259413
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 9409.
International Standard Serial Number 0302-9743
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 2,
Name of part/section of a work Programming and software engineering.
9 (RLIN) 20654
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-319-25942-0">https://link.springer.com/10.1007/978-3-319-25942-0</a>
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH31776800
938 ## -
-- YBP Library Services
-- YANK
-- 12737485
936 ## - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN)
OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) BATCHLOAD
994 ## -
-- 92
-- ATIST
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     eBook LNCS e-Library e-Library 29/07/2022   29/07/2022 29/07/2022 eBook

Powered by Koha