Model checking software : (Record no. 385149)

000 -LEADER
fixed length control field 05595cam a2200841Ii 4500
001 - CONTROL NUMBER
control field ocn946503936
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626121347.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 160412s2016 sz a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency GW5XE
Modifying agency OCLCO
-- YDXCP
-- OCLCF
-- OCLCO
-- UPM
-- AKR
-- OCLCO
-- KSU
-- COO
-- IAD
-- JBG
-- ICW
-- ILO
-- ICN
-- ESU
-- IOG
-- U3W
-- BUF
-- JG0
-- CEF
-- CRU
-- TFW
-- ESEHU
-- EBLCP
-- WYU
-- UKMGB
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCQ
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 019188192
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319325828
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3319325825
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783319325811
Qualifying information (print)
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-32582-8
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057668975
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000730805
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 404403107
029 1# - (OCLC)
OCLC library identifier UKMGB
System control number 019188192
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)946503936
037 ## - SOURCE OF ACQUISITION
Stock number com.springer.onix.9783319325828
Source of stock number/acquisition Springer Nature
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.V47
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/4
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International SPIN Workshop
Number of part/section/meeting (23rd :
Date of meeting 2016 :
Location of meeting Eindhoven, Netherlands)
9 (RLIN) 56938
245 10 - TITLE STATEMENT
Title Model checking software :
Remainder of title 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings /
Statement of responsibility, etc. Dragan Bošnački, Anton Wijs (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title SPIN 2016
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Switzerland :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2016.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xvi, 245 pages) :
Other physical details 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
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 9641
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 1, Theoretical computer science and general issues
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
500 ## - GENERAL NOTE
General note International conference proceedings.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Online resource; title from PDF title page (SpringerLink, viewed April 12, 2016).
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Automated Analysis of Asynchronously Communicating Systems -- Symbolic Game Semantics for Model Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing -- River Basin Management with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent Behaviour Modelled in PRISM -- Certication for -Calculus with Winning Strategies -- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration -- A Tool Integrating Model Checking into a C Verification Toolset -- Fair Testing and Stubborn Sets.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title SPIN (Computer file)
Form subdivision Congresses.
9 (RLIN) 15103
630 07 - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title SPIN (Computer file)
Source of heading or term fast
Authority record control number (OCoLC)fst01387358
9 (RLIN) 15104
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification
Form subdivision Congresses.
9 (RLIN) 15105
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 Testing
Form subdivision Congresses.
9 (RLIN) 18837
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Programming Languages
-- General.
Source of heading or term bisacsh
9 (RLIN) 56939
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Programming
-- General.
Source of heading or term bisacsh
9 (RLIN) 53444
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics
General subdivision Logic.
Source of heading or term bisacsh
9 (RLIN) 56940
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming & scripting languages: general.
Source of heading or term bicssc
9 (RLIN) 53441
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
General subdivision software development.
Source of heading or term bicssc
9 (RLIN) 53440
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical theory of computation.
Source of heading or term bicssc
9 (RLIN) 14275
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 Software Engineering.
Source of heading or term bicssc
9 (RLIN) 14736
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Testing.
Source of heading or term fast
Authority record control number (OCoLC)fst00872601
9 (RLIN) 4794
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Verification.
Source of heading or term fast
Authority record control number (OCoLC)fst00872604
9 (RLIN) 1930
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering.
Source of heading or term fast
Authority record control number (OCoLC)fst01124185
9 (RLIN) 14736
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 396
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
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
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bošnački, Dragan,
Dates associated with a name 1963-
Relator term editor.
9 (RLIN) 16364
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wijs, Anton,
Relator term editor.
9 (RLIN) 56941
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element ETAPS (Conference)
Number of part/section/meeting (19th :
Date of meeting 2016 :
Location of meeting Eindhoven, Netherlands),
Relator term jointly held conference.
9 (RLIN) 56942
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 9641.
International Standard Serial Number 0302-9743
9 (RLIN) 56943
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.libraryproxy.ist.ac.at/book/10.1007/978-3-319-32582-8">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-319-32582-8</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL5579145
938 ## -
-- YBP Library Services
-- YANK
-- 12974407
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha