版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Verified Software. Theories, Tools and Experiments.
丛 书 名：Lecture Notes in Computer Science
版本说明：1
I S B N：(纸本) 9783031258022
出 版 社：Springer Cham
出 版 年：1000年
页 数：VIII, 167页
主 题 词：Logics and Meanings of Programs Computer Hardware Software Engineering/Programming and Operating Systems Computer System Implementation Special Purpose and Application-Based Systems Logic in AI
摘 要：This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.
