小哈图书下载中心
找书点击
Proof in Vdm

Proof in Vdm pdf epub mobi txt 电子书 下载 在线阅读 2026

简体网页 | 繁体网页
☆☆☆☆☆
出版者:Springer Verlag 作者:Bicarregui, Juan C./ Fitzgerald, John S./ Lindsay, Peter A. (CON) 出品人: 页数:0 译者: 出版时间: 价格:55.95 装帧:Pap isbn号码:9780387198132 丛书系列:
图书标签
  • 形式化方法
  • VDM
  • 程序验证
  • 程序证明
  • 抽象模型
  • 规范方法
  • 软件工程
  • 形式规约
  • 逻辑
  • 计算机科学
下载链接在页面底部
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接
想要找书就要到 小哈图书下载中心
qciss.net
立刻按 ctrl+D 收藏本页
你会得到大惊喜!!

具体描述

作者简介

目录信息

读后感

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

用户评价

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

相关图书

图书大百科     图书大百科     静思书屋    静思书屋    小哈图书下载中心     新城书站    求知書站     小特书站    远山书站    湾湾书站    静流书站    静流书站    大本图书下载中心    歷史價格查詢    小美书屋    百答小站    本本书屋    Soundcloud mp3 download    图书目录大全    百科问答小站    趣味新闻网    Twitter video downloader    isbn 查询