Mathematics of Program Construction
14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
Livre Ecrit par: Komendantskaya, Ekaterina ; Publié en: 2022
Edition:
Cham:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783031169120
Thème
Informatique
Mots clés:
Artificial intelligence
automata theory
Computer networks
computer programming
distributed computer systems
Distributed systems
formal logic
functional programming
mathematics
matrix algebra
