Model checking software : (Record no. 378752)

000 -LEADER
fixed length control field 06013cam a2200793Ia 4500
001 - CONTROL NUMBER
control field ocn288440367
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626103341.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 cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 081217s2008 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency COD
-- STF
-- OSU
-- NUI
-- OCLCQ
-- UBC
-- UAB
-- E7B
-- OCLCO
-- OCLCQ
-- OCLCA
-- OCLCF
-- BEDGE
-- DKDLA
-- OCLCQ
-- OCLCO
-- YDXCP
-- IDEBK
-- OCLCQ
-- OCL
-- OCLCO
-- EBLCP
-- DEBSZ
-- OCLCQ
-- VT2
-- OCLCQ
-- ESU
-- OCLCQ
-- OCLCO
-- OCLCQ
-- U3W
-- AU@
-- OCLCQ
-- OCLCO
-- WYU
-- ICG
-- LEAUB
-- CNTRU
-- OCLCQ
-- OCLCO
-- AUD
-- ERF
-- OCLCQ
-- OCLCO
019 ## -
-- 259200562
-- 260320778
-- 488392273
-- 495282787
-- 607348465
-- 646037224
-- 964921442
-- 1005751130
-- 1035695631
-- 1060685151
-- 1060809072
-- 1077275955
-- 1081182913
-- 1086925478
-- 1097316886
-- 1105600620
-- 1112558382
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540851141
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540851143
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540851134
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540851135
024 8# - OTHER STANDARD IDENTIFIER
Standard number or code 9786611855468
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-540-85114-1
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000043802051
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000058161931
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060029994
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060388437
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 286098008
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000461660
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384370330
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12533534
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13997268
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)288440367
Canceled/invalid control number (OCoLC)259200562
-- (OCoLC)260320778
-- (OCoLC)488392273
-- (OCoLC)495282787
-- (OCoLC)607348465
-- (OCoLC)646037224
-- (OCoLC)964921442
-- (OCoLC)1005751130
-- (OCoLC)1035695631
-- (OCoLC)1060685151
-- (OCoLC)1060809072
-- (OCoLC)1077275955
-- (OCoLC)1081182913
-- (OCoLC)1086925478
-- (OCoLC)1097316886
-- (OCoLC)1105600620
-- (OCoLC)1112558382
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-540-85113-4
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.V47
Item number I58 2008eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ.
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UL.
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230.
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.14
Edition number 22
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 (15th :
Date of meeting 2008 :
Location of meeting Los Angeles, Calif.)
9 (RLIN) 31185
245 10 - TITLE STATEMENT
Title Model checking software :
Remainder of title 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
Statement of responsibility, etc. Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 2008.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (x, 342 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
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume/sequential designation 5156
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
520 8# - SUMMARY, ETC.
Summary, etc. Annotation This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Contributions -- Residual Checking of Safety Properties -- The Case for Context-Bounded Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program Properties -- Using Dynamic Symbolic Execution to Improve Deductive Verification -- Regular Papers -- Automated Evaluation of Secure Route Discovery in MANET Protocols -- Model Checking Abstract Components within Concrete Software Environments -- Generating Compact MTBDD-Representations from Probmela Specifications -- Dynamic Delayed Duplicate Detection for External Memory Model Checking -- State Focusing: Lazy Abstraction for the Mu-Calculus -- Efficient Modeling of Concurrent Systems in BMC -- Tackling Large Verification Problems with the Swarm Tool -- Formal Verification of a Flash Memory Device Driver -- An Experience Report -- Layered Duplicate Detection in External-Memory Model Checking -- Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes -- Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems -- Resource-Aware Verification Using Randomized Exploration of Large State Spaces -- Incremental Hashing for Spin -- Verifying Compiler Based Refinement of Bluespec TM Specifications Using the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient Stateful Dynamic Partial Order Reduction -- Symbolic String Verification: An Automata-Based Approach -- Verifying Multi-threaded C Programs with SPIN.
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 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
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
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
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Havelund, Klaus,
Dates associated with a name 1955-
9 (RLIN) 31186
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Majumdar, Rupak.
9 (RLIN) 31187
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Palsberg, Jens.
9 (RLIN) 28866
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading International SPIN Workshop (15th: 2008 : Los Angeles, Calif.).
Title Model checking software.
Place, publisher, and date of publication Berlin ; New York : Springer, 2008
International Standard Book Number 9783540851134
-- 3540851135
Record control number (OCoLC)233932892
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 5156.
9 (RLIN) 31188
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-540-85114-1">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-540-85114-1</a>
938 ## -
-- EBL - Ebook Library
-- EBLB
-- EBL3063303
938 ## -
-- ebrary
-- EBRY
-- ebr10252108
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- cis23929242
938 ## -
-- YBP Library Services
-- YANK
-- 3025234
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