hhmaps.vn https://hhmaps.vn/forum/ |
|
Programming Languages and Systems 33rd European Symposium on https://hhmaps.vn/forum/viewtopic.php?f=9&t=8982 |
Bạn đang xem trang 1 / 1 trang |
Người gửi: | lovewarez [ Thứ 2 08/04/24 6:59 ] |
Tiêu đề bài viết: | Programming Languages and Systems 33rd European Symposium on |
[center] Programming Languages and Systems: 33rd European Symposium on Programming, Part II Stephanie Weirich | 2024 | ISBN: 3031572661 | English | 468 pages | True ePUB, PDF | 50 MB[/center] Series:Lecture Notes in Computer Science, 14577 The two-volume 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 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. Mã: [b]rapidgator.net[/b]:
https://rapidgator.net/file/9b07a08799dfbce1a3c9bbe306edf9d6/klpsr.Programming.Languages.and.Systems.33rd.European.Symposium.on.Programming.Part.II.rar.html [b]uploadgig.com[/b]: https://uploadgig.com/file/download/6df9cB30532bca0a/klpsr.Programming.Languages.and.Systems.33rd.European.Symposium.on.Programming.Part.II.rar [b]nitroflare.com[/b]: https://nitroflare.com/view/79C1BE2A8239917/klpsr.Programming.Languages.and.Systems.33rd.European.Symposium.on.Programming.Part.II.rar |
Bạn đang xem trang 1 / 1 trang | Thời gian được tính theo giờ UTC + 7 Giờ |
Powered by phpBB® Forum Software © phpBB Group http://www.phpbb.com/ |