Structured object-oriented formal language and method : (Record no. 646382)

MARC details
000 -LEADER
fixed length control field 04530cam a2200865 i 4500
001 - CONTROL NUMBER
control field on1089692348
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250707092323.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 cnu|||unuuu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 190311s2019 sz a o 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency GW5XE
Modifying agency UPM
-- UKMGB
-- OCLCF
-- OCLCQ
-- YDX
-- U3G
-- LEATE
-- EBLCP
-- OCLCQ
-- VT2
-- OCLCO
-- OCLCQ
-- COM
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBB952858
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 019299096
Source Uk
019 ## -
-- 1091261600
-- 1105933515
-- 1110904349
-- 1122775526
-- 1122814988
-- 1125738273
-- 1136250639
-- 1144411889
-- 1156394643
-- 1161693812
-- 1162758363
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030136512
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3030136515
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030136529
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3030136523
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783030136505
Qualifying information (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3030136507
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-030-13651-2
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000065130109
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000065260205
029 1# - (OCLC)
OCLC library identifier UKMGB
System control number 019299096
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1089692348
Canceled/invalid control number (OCoLC)1091261600
-- (OCoLC)1105933515
-- (OCoLC)1110904349
-- (OCoLC)1122775526
-- (OCoLC)1122814988
-- (OCoLC)1125738273
-- (OCoLC)1136250639
-- (OCoLC)1144411889
-- (OCoLC)1156394643
-- (OCoLC)1161693812
-- (OCoLC)1162758363
037 ## - SOURCE OF ACQUISITION
Stock number com.springer.onix.9783030136512
Source of stock number/acquisition Springer Nature
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.L63
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source thema
072 #7 - SUBJECT CATEGORY CODE
Subject category code UL
Source thema
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 SOFL+MSVL (Workshop)
Number of part/section/meeting (8th :
Date of meeting 2018 :
Location of meeting Gold Coast, Qld.)
9 (RLIN) 66808
245 10 - TITLE STATEMENT
Title Structured object-oriented formal language and method :
Remainder of title 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers /
Statement of responsibility, etc. Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title SOFL+MSVL 2018
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham, Switzerland :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2019.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (viii, 197 pages) :
Other physical details illustrations (some color)
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 ;
Volume/sequential designation 11392
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 1, Theoretical computer science and general issues
500 ## - GENERAL NOTE
General note Includes author index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Online resource; title from PDF title page (SpringerLink, viewed March 11, 2019).
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Programming and testing -- Verification and validation -- Semantics -- Blockchain.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Form subdivision Congresses.
9 (RLIN) 15679
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Object-oriented methods (Computer science)
Form subdivision Congresses.
9 (RLIN) 16521
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Méthodes formelles (Informatique)
Form subdivision Congrès.
9 (RLIN) 18838
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Conception orientée objet (Informatique)
Form subdivision Congrès.
9 (RLIN) 924459
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Formal methods (Computer science)
Source of heading or term fast
9 (RLIN) 15635
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Object-oriented methods (Computer science)
Source of heading or term fast
9 (RLIN) 15626
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 proceedings (reports)
Source of term aat
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 Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
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 Duan, Zhenhua,
Relator term editor.
9 (RLIN) 51091
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Liu, Shaoying,
Dates associated with a name 1960-
Relator term editor.
9 (RLIN) 49792
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Tian, Cong,
Relator term editor.
9 (RLIN) 60317
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Nagoya, Fumiko,
Relator term editor.
9 (RLIN) 60318
758 ## -
-- has work:
-- Structured object-oriented formal language and method (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGbCyvMkKv348mVvBDD3Xq
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783030136505
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783030136529
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 11392.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 1,
Name of part/section of a work Theoretical computer science and general issues.
9 (RLIN) 20736
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/978-3-030-13651-2">https://link.springer.com/10.1007/978-3-030-13651-2</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL5921706
938 ## -
-- YBP Library Services
-- YANK
-- 16315236
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