Model checking software : (Record no. 381016)

000 -LEADER
fixed length control field 05287cam a2200757Ia 4500
001 - CONTROL NUMBER
control field ocn676697585
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626110654.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 101101s2010 gw ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency CEF
-- COO
-- OCLCQ
-- CUS
-- E7B
-- Z5A
-- UKMGB
-- OCLCO
-- OCLCQ
-- OCLCA
-- OCLCF
-- BEDGE
-- OCLCA
-- OCLCO
-- YDXCP
-- NUI
-- OCL
-- OCLCO
-- EBLCP
-- OCLCQ
-- OCLCO
-- OCLCQ
-- SOI
-- SHS
-- ESU
-- OCLCQ
-- IOG
-- OCLCO
-- U3W
-- WYU
-- CNTRU
-- OCLCQ
-- OCLCO
-- OCLCQ
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 015663183
Source Uk
019 ## -
-- 667611954
-- 769769458
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642161643
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3642161642
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783642161636
Qualifying information (softcover ;
-- alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3642161634
Qualifying information (softcover ;
-- alk. paper)
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-16164-3
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000048698686
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000462319
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000686438
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 384162819
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13533456
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)676697585
Canceled/invalid control number (OCoLC)667611954
-- (OCoLC)769769458
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-642-16163-6
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 2010
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 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 (17th :
Date of meeting 2010
Location of meeting Enschede, Netherlands)
9 (RLIN) 40385
245 10 - TITLE STATEMENT
Title Model checking software :
Remainder of title 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings /
Statement of responsibility, etc. Jaco van de Pol, Michael Weber (Eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- Heidelberg :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2010.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (x, 261 pages)
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 6349
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 1, Theoretical computer science and general issues
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
520 8# - SUMMARY, ETC.
Summary, etc. Annotation
Expansion of summary note This book constitutes the refereed proceedings of the 17th InternationalSPIN workshop on Model Checking Software, SPIN 2010, held at theUniversity of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulotheories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and B chi automata, extensions to infinite-state systems, and concurrentsoftware.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Satisfiability Modulo Theories for Model Checking -- SMT-Based Software Model Checking -- Symbolic Object Code Analysis -- Model Checking in Context -- Experimental Comparison of Concolic and Random Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic Generation of Model Checking Scripts Based on Environment Modeling -- Implementation and Performance of Model Checking -- Model Checking: Cleared for Take Off -- Context-Enhanced Directed Model Checking -- Efficient Explicit-State Model Checking on General Purpose Graphics Processors -- The SpinJa Model Checker -- LTL and Büchi Automata -- On the Virtue of Patience: Minimizing Büchi Automata -- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance -- Nevertrace Claims for Model Checking -- Infinite State Models -- A False History of True Concurrency: From Petri to Tools -- Analysing Mu-Calculus Properties of Pushdown Systems -- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains -- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models -- Concurrent Software -- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation -- One Stack to Run Them All.
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE
Uniform title SPIN (Computer file)
9 (RLIN) 15104
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 #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
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
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pol, Jaco van de.
9 (RLIN) 28313
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Weber, Michael
Fuller form of name (Michael F.)
9 (RLIN) 40386
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading International SPIN Workshop (17th : 2010 : Enschede, Netherlands).
Title Model checking software.
Place, publisher, and date of publication Berlin : Springer, 2010
International Standard Book Number 9783642161636
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 6349.
9 (RLIN) 40387
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-642-16164-3">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-642-16164-3</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL3065903
938 ## -
-- ebrary
-- EBRY
-- ebr10419748
938 ## -
-- YBP Library Services
-- YANK
-- 3481475
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