Model checking software : (Record no. 375872)

000 -LEADER
fixed length control field 05704cam a22007214a 4500
001 - CONTROL NUMBER
control field ocm48948345
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626094413.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 |n|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 010423s2001 gw a ob 101 0 eng c
040 ## - CATALOGING SOURCE
Original cataloging agency COO
Language of cataloging eng
Description conventions pn
Transcribing agency COO
Modifying agency EYM
-- NTE
-- YNG
-- OCLCQ
-- DKDLA
-- OCLCQ
-- GW5XE
-- OCLCO
-- OCLCF
-- OCLCA
-- OCLCQ
-- OCLCO
-- OCLCQ
-- OCL
-- OCLCO
-- OCLCQ
-- YDX
-- UAB
-- ESU
-- OCLCQ
-- VT2
-- SHS
-- OCLCO
-- AU@
-- WYU
-- LEAUB
-- OCLCQ
019 ## -
-- 436629061
-- 664270567
-- 769770591
-- 888347764
-- 990523875
-- 1005827404
-- 1048145777
-- 1062923460
-- 1081184890
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540451396
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540451390
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3540421246
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783540421245
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-45139-0
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000044634626
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000051333505
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000053215843
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000058150330
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060386782
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:000463464
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 14994070
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 15295757
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)48948345
Canceled/invalid control number (OCoLC)436629061
-- (OCoLC)664270567
-- (OCoLC)769770591
-- (OCoLC)888347764
-- (OCoLC)990523875
-- (OCoLC)1005827404
-- (OCoLC)1048145777
-- (OCoLC)1062923460
-- (OCoLC)1081184890
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.V47
Item number I58 2001
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYF
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM036000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1/4
Edition number 21
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 (8th :
Date of meeting 2001
Location of meeting Toronto, Ont.)
9 (RLIN) 15808
245 10 - TITLE STATEMENT
Title Model checking software :
Remainder of title 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Statement of responsibility, etc. Matthew Dwyer (ed.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 2001.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (x, 311 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 2057
490 ## - SERIES STATEMENT
Series statement Serienbezeichnung
500 ## - GENERAL NOTE
General note On cover: ACM SIGSOFT.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 00 - FORMATTED CONTENTS NOTE
Title From model checking to a temporal proof /
Statement of responsibility Doron Peled, Lenore Zuck --
Title Model checking if your life depends on it: a view from intel's trenches /
Statement of responsibility Rob Gerth --
Title Model-checking infinite state-space systems with fine-grained abstractions using SPIN /
Statement of responsibility Marsha Chechik, Bebet Devereux, Arie Gurfinkel --
Title Implementing LTL model checking with net unfoldings /
Statement of responsibility Javier Esparza, Keijo Heljanko --
Title Directed explicit model checking with HSF-SPIN /
Statement of responsibility Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue --
Title Addressing dynamic issues of program model checking /
Statement of responsibility Flavio Lerda, Willem Visser --
Title Automaticallu validating temporal safety properties of interfaces /
Statement of responsibility Thomas Ball, Sriram K. Rajamani --
Title Verification experiments on the MASCARA protocol /
Statement of responsibility Guoping Jia, Susanne Graf --
Title Using SPIN for feature interaction analysis-a case study /
Statement of responsibility Muffy Calder, Alice Miller --
Title Behavioural analysis of the enterprise javabens component architecture /
Statement of responsibility Shin Nakajima, Tetsuo tamai --
Title p2b: a translation utility for linking promela and symbolic model checking (tool paper) /
Statement of responsibility Michael Baldamus, Jochen Schröder-Babo --
Title Transformations for model checking distributed java programs /
Statement of responsibility Scott D. Stoller, Yanhong A. Liu --
Title Distribured LTL model-checking in SPIN /
Statement of responsibility Jiri Barnat, Lubos Brim, Jitka Stříbrná --
Title Parallel state space construction for model-checking /
Statement of responsibility Hubert Garavel, Radu Mateescu, Irina Smarandache --
Title Model checking systems of replicated processes with spin /
Statement of responsibility Fabrice derepas, Paul Gastin --
Title SPIN-based model checker for telecommunication protocols /
Statement of responsibility Vivek K. Shanbhag, K. Gopinath --
Title Modeling and verifying a price model for congestion control in computer networks using promela/spin /
Statement of responsibility Clement Yuen, Wei Tjioe --
Title Model checking project at philips research /
Statement of responsibility Leszek Holenderski --
Title Applications of model checking at honeywell laboratories /
Statement of responsibility Darren Cofer [and others] --
Title Coarse-granular model checking in practice /
Statement of responsibility Bernhard Steffen, Tiziana Margaria, Volker Braun.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
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 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 Dwyer, Matthew,
Dates associated with a name 1963-
9 (RLIN) 15809
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element ACM Sigsoft.
9 (RLIN) 15810
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:International SPIN Workshop (8th : 2001 Toronto, Ont.).
Title Model checking software.
Place, publisher, and date of publication Berlin ; New York : Springer, 2001
International Standard Book Number 3540421246
Record control number (DLC) 2001032221
-- (OCoLC)46837036
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 2057.
9 (RLIN) 15811
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-45139-0">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-45139-0</a>
938 ## -
-- YBP Library Services
-- YANK
-- 13350794
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