咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Logic-Based Program Synthesis ... 收藏

Logic-Based Program Synthesis and Transformation

丛 书 名:Lecture Notes in Computer Science

版本说明:1

作     者:Alicia Villanueva 

I S B N:(纸本) 9783031167669 

出 版 社:Springer Cham 

出 版 年:1000年

页      数:XIII, 155页

主 题 词:Logics and Meanings of Programs 

摘      要:This book constitutes the refereed proceedings of the 32;International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.;The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分