MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05805cam a2200745 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm33439667 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703142619.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
951026s1995 gw a b 101 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
95047444 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
DLC |
| Modifying agency |
PMC |
| -- |
C$Q |
| -- |
BAKER |
| -- |
NLGGC |
| -- |
BTCTA |
| -- |
LVB |
| -- |
YDXCP |
| -- |
OCLCQ |
| -- |
ZWZ |
| -- |
GW5XE |
| -- |
OCLCQ |
| -- |
MUU |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
TFW |
| -- |
OCLCA |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
ITD |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
CSJ |
| -- |
OCLCQ |
| -- |
YOU |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IL4J6 |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
IG# |
| -- |
AUD |
| -- |
MCS |
| -- |
NJR |
| -- |
FQG |
| -- |
UWO |
| -- |
HUELT |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
190832700 |
| -- |
629250573 |
| -- |
811391382 |
| -- |
1171099674 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540606300 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540606307 |
| Qualifying information |
(Berlin ; |
| -- |
acid-free paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540485090 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540485094 |
| Qualifying information |
(electronic bk.) |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000012010239 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000021783018 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13998022 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15295517 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
4633116 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
YDXCP |
| System control number |
1250597 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)33439667 |
| Canceled/invalid control number |
(OCoLC)190832700 |
| -- |
(OCoLC)629250573 |
| -- |
(OCoLC)811391382 |
| -- |
(OCoLC)1171099674 |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.S88 |
| Item number |
T66 1995 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.2 |
| Edition number |
20 |
| -- |
https://id.oclc.org/worldcat/ddc/E37WrBVmGmMrM8rPcWBJy7RtXT |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.51 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
TACAS (Conference) |
| Number of part/section/meeting |
(1st : |
| Date of meeting |
1995 : |
| Location of meeting |
Århus, Denmark) |
| 9 (RLIN) |
14852 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Tools and algorithms for the construction and analysis of systems : |
| Remainder of title |
first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / |
| Statement of responsibility, etc. |
E. Brinksma [and others], (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. |
©1995. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
289 pages : |
| Other physical details |
illustrations ; |
| Dimensions |
24 cm. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Media type code |
n |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Carrier type code |
nc |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
1019 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Combining model checking and deduction for I/O-automata / O. Müller and T. Nipkow -- A constraint oriented proof methodology based on modal transition systems / K.G. Larsen, B. Steffen and C. Weise -- A user guide to HYTECH / T.H. Henzinger, P.-H. Ho and H. Wong-Toi -- Modal [mu]-calculus, model checking and Gauss elimination / A. Mader -- MONA : Monadic second-order logic in practice / J.G. Henriksen [and others] -- Efficient simplification of bisimulation formulas / U.H. Engberg and K.S. Larsen -- Hierarchical compression for model-checking CSP or how to check 10²⁰ dining philosophers for deadlock / A.W. Roscoe [and others] -- A front-end generator for verification tools / R. Cleaveland, E. Madelaine and S. Sims -- Analytic and locally approximate solutions to properties of probabilistic processes / C. Tofts -- Model checking of non-finite state processes by finite approximations / N. De Francesco [and others] -- On automatic and interactive design of communicating systems / J. Bohn and S. Rössig -- Layers as knowledge transitions in the design of distributed systems / W. Janssen -- Parallelism for free : bitvector analyses -> no state explosion! / K. Knoop, B. Steffen and J. Vollmer. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems."--PUBLISHER'S WEBSITE. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System design |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14606 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14853 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| General subdivision |
Distributed processing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14854 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Développement |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14855 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Conception de systèmes |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
38793 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Traitement réparti |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14856 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872537 |
| 9 (RLIN) |
2949 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| General subdivision |
Distributed processing. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00906987 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System design. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01141401 |
| 9 (RLIN) |
14611 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logica. |
| Source of heading or term |
gtt |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmatuurtechniek. |
| Source of heading or term |
gtt |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Form subdivision |
Congresses. |
| Source of heading or term |
nli |
| 9 (RLIN) |
14853 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Electronic data processing |
| General subdivision |
Distributed processing |
| Form subdivision |
Congresses. |
| Source of heading or term |
nli |
| 9 (RLIN) |
14854 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Traitement réparti |
| General subdivision |
Congrès. |
| Source of heading or term |
ram |
| 9 (RLIN) |
14860 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Développement |
| -- |
Congrès. |
| Source of heading or term |
ram |
| 9 (RLIN) |
14861 |
| 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 |
Brinksma, Ed. |
| 9 (RLIN) |
14862 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Tools and algorithms for the construction and analysis of systems (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCH7jvXT7WYdXHcRFMrYgcd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Online version: |
| Main entry heading |
TACAS (Conference) (1st : 1995 : Århus, Denmark). |
| Title |
Tools and Algorithms for the Construction and Analysis of Systems. |
| Place, publisher, and date of publication |
Berlin, Heidelberg : Springer-Verlag, 1995 |
| International Standard Book Number |
9783540485094 |
| Record control number |
(OCoLC)827359869 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
1019. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-60630-0">https://link.springer.com/10.1007/3-540-60630-0</a> |
| 938 ## - |
|---|
| -- |
Ingram Library Services |
| -- |
INGR |
| -- |
in001350029 |
| 938 ## - |
|---|
| -- |
Baker & Taylor |
| -- |
BKTY |
| -- |
69.95 |
| -- |
69.95 |
| -- |
0387606300 |
| -- |
0002782702 |
| -- |
active |
| 938 ## - |
|---|
| -- |
Baker and Taylor |
| -- |
BTCP |
| -- |
95047444 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
1250597 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |