图书目录大全

 windowsfront.com logo

时序逻辑程序设计与软件工程（下） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

时序逻辑程序设计与软件工程（下）
☆☆☆☆☆
简体网页||繁体网页
唐稚松 作者
科学出版社
译者
2002-11 出版日期
264 页数
30.00元 价格
丛书系列
9787030099280 图书编码

时序逻辑程序设计与软件工程（下） 在线电子书 图书标签: 时序逻辑程序设计   

喜欢 时序逻辑程序设计与软件工程（下） 在线电子书 的读者还喜欢


下载链接在页面底部


点击这里下载
    
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-27

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接

时序逻辑程序设计与软件工程（下） 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

时序逻辑程序设计与软件工程（下） 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

时序逻辑程序设计与软件工程（下） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


时序逻辑程序设计与软件工程（下） 在线电子书 用户评价

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

时序逻辑程序设计与软件工程（下） 在线电子书 著者简介

时序逻辑程序设计与软件工程（下） 在线电子书 图书目录

时序逻辑程序设计与软件工程（下） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

时序逻辑程序设计与软件工程（下） 在线电子书 图书描述

《时序逻辑程序设计与软件工程(下)》旨在介绍一种面向软件工程的时序逻辑语言(XYZ/E)及以该语言为基础的支撑软件开发全过程的软件工程系统(XYZ系统)，目标是希望能为一般工业界用户服务，以提高软件开发的自动化水平及所开发软件的可靠性与可维护性。

《时序逻辑程序设计与软件工程(下)》共分上、下两册。上册介绍时序逻辑语言XYZ/E，内容包括XYZ系统研制的技术和哲学背景，XYZ/E的逻辑基础，XYZ/E的基本特征和基本成分，XYZ/E的控制结构，XYZE中所表示的各种机制，XYZ/E的实现，基于XYZ/E的实时程序设计与混成系统表示，以及在XYZ/E框架内的程序规范与Hoare逻辑验证等。下册介绍软件工程方法与工具，内容包括面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法，可视化体系结构描述语言与工具及其在软件开发过程中的应用，最后还介绍了语言转换工具及其在软件再造工程和某些专用领域的应用，实时及混成系统的验证等。

时序逻辑程序设计与软件工程（下） 在线电子书 下载 mobi epub pdf txt 在线电子书下载
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

时序逻辑程序设计与软件工程（下） 在线电子书 读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

时序逻辑程序设计与软件工程（下） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接


时序逻辑程序设计与软件工程（下） 在线电子书 相关图书



服务条款
联系我们
关于我们
隐私政策

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有