Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 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 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of S...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả khác: Goubault-Larrecq, Jean (Biên tập viên), König, Barbara (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ủ đề:
Mathematical foundations
Discrete mathematics
Programming & scripting languages: general
Computer programming / software development
Artificial intelligence
Computer networking & communications
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
Programming Languages, Compilers, Interpreters
Programming Techniques
Logic in AI
Computer Systems Organization and Communication Networks
categorical models and logics
language theory, automata, and games
modal, spatial, and temporal logics
type theory and proof theory
concurrency theory and process calculi
rewriting theory
semantics of programming languages
program analysis, correctness, transformation, and verification
logics of programming
software specification and refinement
emerging models of computation
logical aspects of computational complexity
models of software security
logical foundations of data bases
mathematics
artificial intellegence
formal logic
linguistics
Mathematical logic
Maths for computer scientists
Compilers & interpreters
Computer programming / software engineering
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ự