MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05971cam a22007814a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm50420380 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703142824.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 |
020312s2002 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 |
| -- |
YNG |
| -- |
OCLCQ |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCA |
| -- |
GW5XE |
| -- |
OCLCA |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
DGU |
| -- |
SHS |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
OCLCO |
| -- |
BUF |
| -- |
MERER |
| -- |
OCLCA |
| -- |
WYU |
| -- |
OCLCQ |
| -- |
LEAUB |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
AUD |
| -- |
OCLCQ |
| -- |
EUX |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
WSU |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBA229143 |
| Source |
bnb |
| 019 ## - |
|---|
| -- |
66553563 |
| -- |
664272158 |
| -- |
768062824 |
| -- |
1005746929 |
| -- |
1044446048 |
| -- |
1066448636 |
| -- |
1081185772 |
| -- |
1105590661 |
| -- |
1132299517 |
| -- |
1162693404 |
| -- |
1238659188 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540460176 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540460179 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540434771 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540434771 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-46017-9 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051333506 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
267152957 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15295904 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999909231205765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)50420380 |
| Canceled/invalid control number |
(OCoLC)66553563 |
| -- |
(OCoLC)664272158 |
| -- |
(OCoLC)768062824 |
| -- |
(OCoLC)1005746929 |
| -- |
(OCoLC)1044446048 |
| -- |
(OCoLC)1066448636 |
| -- |
(OCoLC)1081185772 |
| -- |
(OCoLC)1105590661 |
| -- |
(OCoLC)1132299517 |
| -- |
(OCoLC)1162693404 |
| -- |
(OCoLC)1238659188 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.V47 |
| Item number |
I58 2002 |
| 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 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/4 |
| Edition number |
21 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.52 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
SS 4800 |
| Number source |
rvk |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
DAT 325f |
| Number source |
stub |
| 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 |
(9th : |
| Date of meeting |
2002 : |
| Location of meeting |
Grenoble, France) |
| 9 (RLIN) |
16363 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Model checking software : |
| Remainder of title |
9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / |
| Statement of responsibility, etc. |
Dragan Bošnački, Stefan Leue [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. |
©2002. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 257 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
2318. |
| Series statement |
Lecture notes in artificial intelligence |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Invited Talks -- SAT-Based Counterexample Guided Abstraction Refinement -- Abstract Interpretation: Theory and Practice -- Invited Tutorial -- SPIN Tutorial: How to Become a SPIN Doctor -- Tutorial -- Abstraction in Software Model Checking: Principles and Practice -- Software Model Checking -- Symmetry Reduction Criteria for Software Model Checking -- Bytecode Model Checking: An Experimental Analysis -- The Influence of Software Module Systems on Modular Verification -- Extending the Translation from SDL to Promela -- Algorithms and Theoretical Foundations -- Model Checking Knowledge and Time -- Partial Order Reduction in Directed Model Checking -- Local Parallel Model Checking for the Alternation-Free?-Calculus -- Applications -- The Agreement Problem Protocol Verification Environment -- Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach -- Using SPIN to Verify Security Properties of Cryptographic Protocols -- Work in Progress -- Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN -- SPINning Parallel Systems Software -- Dynamic Bounds and Transition Merging for Local First Search -- Invited Industrial Presentations -- Comparing Symbolic and Explicit Model Checking of a Software System -- Industrial Model Checking Based on Satisfiability Solvers -- A Typical Testing Problem: Validating WML Cellphones -- Model Checking Tools -- Heuristic Model Checking for Java Programs -- System Specification and Verification Using High Level Concepts -- A Tool Demonstration -- Demonstration of an Automated Integrated Test Environment for Web-Based Applications --?SPIN: Extending SPIN with Abstraction. |
| 630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
SPIN (Computer file) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15103 |
| 630 06 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
SPIN (Logiciel) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19630 |
| 630 07 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
SPIN (Computer file) |
| Source of heading or term |
fast |
| 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 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Vérification |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18708 |
| 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 |
| 9 (RLIN) |
1930 |
| 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 |
Bošnački, Dragan, |
| Dates associated with a name |
1963- |
| 9 (RLIN) |
16364 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Leue, Stefan. |
| 9 (RLIN) |
16365 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version:International SPIN Workshop (9th : 2002 : Grenoble, France) |
| Title |
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings |
| Record control number |
(OCoLC)49320468 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
2318. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Lecture notes in artificial intelligence. |
| 9 (RLIN) |
14916 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-46017-9">https://link.springer.com/10.1007/3-540-46017-9</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3072057 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |