MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02149cam a22003377a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
vtls000001855 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
VRT |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250102222428.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
081111s2006 gw a |b 101 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
354033095X (pbk.) |
| 024 3# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
9783540330950 |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
|---|
| Level of rules in bibliographic description |
201402040059 |
| Level of effort used to assign nonsubject heading access points |
VLOAD |
| Level of effort used to assign subject headings |
201010101251 |
| Level of effort used to assign classification |
malmash |
| Level of effort used to assign subject headings |
200811171118 |
| Level of effort used to assign classification |
venkatrajand |
| Level of effort used to assign subject headings |
200811111125 |
| Level of effort used to assign classification |
Noora |
| -- |
200811111123 |
| -- |
Noora |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.6 |
| Item number |
.E976 2006 |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
European Symposium on Programming |
| Number of part/section/meeting |
(15th : |
| Date of meeting or treaty signing |
2006 : |
| Location of meeting |
Vienna, Austria) |
| 9 (RLIN) |
1257 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Programming Languages and Systems : |
| Remainder of title |
15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : Proceedings / |
| Statement of responsibility, etc. |
Peter Sestoft (ed.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
15th European Symposium on Programming |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Fifteenth European Symposium on Programming |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
European Symposium on Programming |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
ESOP 2006 |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Joint European Conferences on Theory and Practice of Software |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
ETAPS 2006 |
| 246 1# - VARYING FORM OF TITLE |
|---|
| Display text |
Added cover title: |
| Title proper/short title |
European Joint Conferences on Theory and Practice of Software |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2006. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xii, 341 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Lecture notes in computer science, |
| Volume/sequential designation |
3924 |
| 9 (RLIN) |
767 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer programming |
| 9 (RLIN) |
1258 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Programming languages (Electronic computers) |
| 9 (RLIN) |
1259 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Suppress in OPAC |
No |
| Koha item type |
Books |
