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
  • 程序验证
  • 程序证明
  • 抽象模型
  • 规范方法
  • 软件工程
  • 形式规约
  • 逻辑
  • 计算机科学
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

作者简介

目录信息

读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

用户评价

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

相关图书