MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06924cam a22009254a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm50400639 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703142821.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 |
020621s2002 gw a ob 101 0 eng c |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| Canceled/invalid LC control number |
2002026690 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
COO |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
COO |
| Modifying agency |
HNK |
| -- |
BAKER |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
OCLCQ |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCO |
| -- |
GW5XE |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
YDX |
| -- |
SHS |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
COO |
| -- |
BUF |
| -- |
OCLCF |
| -- |
WYU |
| -- |
QE2 |
| -- |
LEAUB |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
AUD |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
SFB |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
COA |
| -- |
INT |
| -- |
OCLCO |
| -- |
WSU |
| -- |
OCLCO |
| -- |
OCLCL |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBA250854 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
009729161 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
66624755 |
| -- |
436629380 |
| -- |
648150247 |
| -- |
769770887 |
| -- |
990472739 |
| -- |
1005743552 |
| -- |
1058321715 |
| -- |
1066615328 |
| -- |
1081212728 |
| -- |
1084935585 |
| -- |
1105602169 |
| -- |
1114552138 |
| -- |
1127185677 |
| -- |
1162690408 |
| -- |
1238699730 |
| -- |
1340097638 |
| -- |
1374611640 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540456148 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540456147 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540439285 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540439288 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9788354045618 |
| Qualifying information |
(8) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
8354045617 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-45614-7 |
| Source of number or code |
doi |
| 024 8# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
(WaSeSS)ssj0000323186 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000044635267 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051325348 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
270758305 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14994425 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15295897 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999887369505765 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000078468969 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)50400639 |
| Canceled/invalid control number |
(OCoLC)66624755 |
| -- |
(OCoLC)436629380 |
| -- |
(OCoLC)648150247 |
| -- |
(OCoLC)769770887 |
| -- |
(OCoLC)990472739 |
| -- |
(OCoLC)1005743552 |
| -- |
(OCoLC)1058321715 |
| -- |
(OCoLC)1066615328 |
| -- |
(OCoLC)1081212728 |
| -- |
(OCoLC)1084935585 |
| -- |
(OCoLC)1105602169 |
| -- |
(OCoLC)1114552138 |
| -- |
(OCoLC)1127185677 |
| -- |
(OCoLC)1162690408 |
| -- |
(OCoLC)1238699730 |
| -- |
(OCoLC)1340097638 |
| -- |
(OCoLC)1374611640 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.D47 |
| Item number |
I593 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 |
| Edition number |
21 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.51 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.31 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
PN 411 |
| Number source |
blsrissc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Symposium of Formal Methods Europe |
| Number of part/section/meeting |
(11th : |
| Date of meeting |
2002 : |
| Location of meeting |
Copenhagen, Denmark) |
| 9 (RLIN) |
16313 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
FME 2002 : |
| Remainder of title |
formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / |
| Statement of responsibility, etc. |
Lars-Henrik Eriksson, Peter Alexander Lindsay (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 (xi, 624 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 ; |
| Volume/sequential designation |
2391 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Little Engines of Proof -- Automated Boundary Testing from Z and B -- Improvements in Coverability Analysis -- Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study -- UniTesK Test Suite Architecture -- Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited -- Do Not Read This -- Safeness of Make-Based Incremental Recompilation -- An Algorithmic Approach to Design Exploration -- Mechanical Abstraction of CSP Z Processes -- Verifying Erlang Code: A Resource Locker Case-Study -- Towards an Integrated Model Checker for Railway Signalling Data -- Correctness by Construction: Integrating Formality into a Commercial Development Process -- VAlloy -- Virtual Functions Meet a Relational Language -- Verification Using Test Generation Techniques -- Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java -- Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods -- Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation -- Interference Analysis for Dependable Systems Using Refinement and Abstraction -- The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism -- Timing Analysis of Assembler Code Control-Flow Paths -- Towards OCL/RT -- On Combining Functional Verification and Performance Evaluation Using CADP -- The Next 700 Synthesis Calculi -- Synthesizing Certified Code -- Refinement in Circus -- Forward Simulation for Data Refinement of Classes -- A Formal Basis for a Program Compilation Proof Tool -- Property Dependent Abstraction of Control Structure for Software Verification -- Closing Open SDL-Systems for Model Checking with DTSpin -- A Generalised Sweep-Line Method for Safety Properties -- Supplementing a UML Development Process with B -- Semantic Web for Extending and Linking Formalisms -- A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 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 |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15679 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
System design |
| General subdivision |
Mathematics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
16314 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Méthodes formelles (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18838 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Conception de systèmes |
| General subdivision |
Mathématiques |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
927587 |
| 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 |
| 9 (RLIN) |
2949 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15635 |
| 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 |
Eriksson, L.-H. |
| Fuller form of name |
(Lars-Henrik), |
| Dates associated with a name |
1960- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjM7Y4TqBwhXHTGD93mQYP |
| 9 (RLIN) |
16315 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Lindsay, Peter Alexander, |
| Dates associated with a name |
1957- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjF8gxfTPmrJHgd9rRrDYK |
| 9 (RLIN) |
16316 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version:International Symposium of Formal Methods Europe (11th : 2002 : Copenhagen, Denmark) |
| Title |
FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings |
| Record control number |
(OCoLC)50123531 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
2391. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-45614-7">https://link.springer.com/10.1007/3-540-45614-7</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH26901766 |
| 938 ## - |
|---|
| -- |
Baker & Taylor |
| -- |
BKTY |
| -- |
102.00 |
| -- |
102.00 |
| -- |
3540439285 |
| -- |
0004036250 |
| -- |
active |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
13350981 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |