咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Formal Analysis by Abstract In... 收藏

Formal Analysis by Abstract Interpretation

丛 书 名:SpringerBriefs in Applied Sciences and Technology

版本说明:1

作     者:Benjamin Aziz 

I S B N:(纸本) 9783030911522 

出 版 社:Springer Cham 

出 版 年:1000年

页      数:XII, 113页

主 题 词:Mathematical Logic and Formal Languages Computer Communication Networks Cyber-physical systems, IoT Professional Computing Communications Engineering, Networks 

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

用户名:未登录
我的评分