MARC details
000 -LEADER |
fixed length control field |
01711nam a2200265 a 4500 |
001 - CONTROL NUMBER |
control field |
53332 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
0000000000 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240411195500.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
230612n s 000 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
978-3-031-30044-8 |
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER |
International Standard Serial Number |
1611-3349 |
245 10 - TITLE STATEMENT |
Title |
Programming Languages and Systems |
Medium |
[electronic resource] : |
Remainder of title |
32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings / |
Statement of responsibility, etc. |
Edited by Thomas Wies. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cham, Switzerland : |
Name of publisher, distributor, etc. |
Springer, |
Date of publication, distribution, etc. |
2023. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer programming. |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer science. |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Data structures (Computer science) |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Logic design. |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Programming languages (Electronic computers) |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Software engineering. |
Source of heading or term |
sears |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Wies, Thomas, |
Relator term |
Editor. |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/1cAkGaCfXWQAueimwbJtzTIWjQ12OGuW7/view?usp=sharing">https://drive.google.com/file/d/1cAkGaCfXWQAueimwbJtzTIWjQ12OGuW7/view?usp=sharing</a> |