Значок книги

Programming Languages and Systems

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this vol...

Полное описание

Сохранить в:
Формат: Online
Язык:английский
Опубликовано: Springer Nature 2022
Предметы:
automata theory
computer programming
computer systems
databases
distributed computer systems
distributed systems
embedded systems
formal languages
formal logic
linguistics
ontologies
parallel processing systems
program compilers
programming languages
semantics
software design
software engineering
software quality
verification
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
thema EDItEUR::U Computing and Information Technology::UY Computer science
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
Online-ссылка:ONIX_20220413_9783030993368_23
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!

Internet

ONIX_20220413_9783030993368_23

Схожие документы