Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was p...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả khác: Müller, Peter (Biên tập viên)
Định dạng: Chương của sách
Được phát hành: Cham Springer Nature 2020
Những chủ đề:
Programming & scripting languages: general
Computer networking & communications
Algorithms & data structures
Natural language & machine translation
Computer science
Programming Languages, Compilers, Interpreters
Computer Systems Organization and Communication Networks
Control Structures and Microprogramming
Information Systems and Communication Service
Natural Language Processing (NLP)
Theory of Computation
artificial intelligence
computer networks
computer programming
computer security
distributed computer systems
embedded systems
formal languages
formal logic
linguistics
mathematics
model checking
object-oriented programming
parallel processing systems
program compilers
semantics
software architecture
software design
software engineering
software quality
verification and validation
Compilers & interpreters
Mathematical theory of computation
Truy cập trực tuyến:Get Fullteks
DOAB: description of the publication
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Internet

Get Fullteks
DOAB: description of the publication

3rd Floor Main Library

Chi tiết quỹ từ 3rd Floor Main Library
Số hiệu: A1234.567
Sao chép 1 Sẵn có

Những quyển sách tương tự