咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Challenges of Software Verific... 收藏
分享
Challenges of Software Verification

Challenges of Software Verification

丛 书 名：Intelligent Systems Reference Library

版本说明：1

作     者：Vincenzo Arceri Agostino Cortesi Pietro Ferrara Martina Olliaro 

I S B N：(纸本) 9789811996009;9789811996030 

出 版 社：Springer Singapore 

出 版 年：1000年

页      数：XV, 264页

主 题 词：Communications Engineering, Networks Software Engineering/Programming and Operating Systems Systems and Data Security Cyber-physical systems, IoT Professional Computing 

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

学校读者
用户名:未登录
我的评分