Correct Systems

Correct Systems pdf epub mobi txt 电子书 下载 2026

☆☆☆☆☆
出版者:Springer Verlag 作者:Ipate, Florentin 出品人: 页数:206 译者: 出版时间: 价格:$ 67.74 装帧:Pap isbn号码:9783540762461 丛书系列:
图书标签
  • 形式化方法
  • 程序验证
  • 系统建模
  • 并发性
  • 安全性
  • 可靠性
  • 软件工程
  • 计算机科学
  • 逻辑
  • 正确性
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D 收藏本页
你会得到大惊喜!!

具体描述

Correct Systems looks at the whole of process building a business process model, capturing it in a formal requirements statement, and developing a precise system specification. Issues such as testing, model language methodology, and systems integration are presented in detail. These methodologies will be of value to practicing designers working in modern design languages such as Visual Basic and Java.

作者简介

目录信息

读后感

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

用户评价

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆