Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . I (Lecture Notes in Computer Science, 14576)
Language: English
Published by Springer, 2024
- Softcover
- New
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
4-star seller
AbeBooks seller since January 19, 2007
Softcover
Condition: New
US$ 72.40
US$ 8.68 shipping
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Add to basketFree 30-day returns
Item description from seller
Print on Demand.
Seller Inventory # 394777558
- Title
- Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and . I (Lecture Notes in Computer Science, 14576)
- Publisher
- Springer
- Publication year
- 2024
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3031572610
- ISBN 13
- 9783031572616
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
Part I: Effects and modal types; bidirectional typing and session types; dependent types;
Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
"Synopsis" may belong to another edition of this title.
From the Back Cover
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
Part I: Effects and modal types; bidirectional typing and session types; dependent types;
Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
"About the title" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
4-star seller
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.68 | US$ 13.16 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane
Barnet, United Kingdom EN5 2AX
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery