- Main
- 工业关键系统的形式化方法:应用综述
工业关键系统的形式化方法:应用综述
[意]Stefania Gnesi, Tiziana Margaria 著. 靳添絮 连晓峰 等译آپ کو یہ کتاب کتنی پسند ہے؟
فائل کی کوالٹی کیا ہے؟
کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں
فائل کی کوالٹی کیا ہے؟
形式化方法以数学为基础, 其目标是建立精确的、 无二义性的语义,对系统开发的各个阶段进行有效的描述, 使系统的结构具有先天的合理性、正确性和良好的维护性, 能较好地满足用户需求。 本书记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。
本书分为 6 部分: 第 1 部分是概述; 第 2 部分致力于介绍建模范例;第 3 部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展; 第 4 部分则向读者展示了形式化方法在通信系统中的发展和成果; 第 5 部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第 6 部分则介绍了实时应用程序的形式化方法。
本书可用作高等院校计算机科学、 自动化相关专业本科生、 研究生以及教师的参考用书, 也可作为业内专业人士的参考书。
سال:
2013
ناشر کتب:
机械工业出版社
زبان:
chinese
صفحات:
247
ISBN 10:
7111485211
ISBN 13:
9787111485216
فائل:
PDF, 21.36 MB
آپ کے ٹیگز:
IPFS:
CID , CID Blake2b
chinese, 2013
آن لائن پڑھیں
- ڈاؤن لوڈ کریں
- pdf 21.36 MB Current page
- Checking other formats...
- میں تبدیل کریں
- ;MB8  سے بڑی فائلوں کی تبدیلی کو غیر مقفل کریں۔ Premium
اپنی کتاب کی دکان شامل کرنا چاہتے ہیں؟ ہم سے support@z-lib.do پر رابطہ کریں۔
فائل آپ کے ای میل ایڈریس پر بھیجی جائگی۔ اسے موصول ہونے میں 5 منٹ تک کا وقت لگ سکتا ہے۔.
فائل آپ کو Telegram میسنجر کے ذریعے بھیجی جائے گی۔ آپ کو اسے موصول ہونے میں ۵-۱ منٹ لگ سکتے ہیں۔
نوٹ: یقینی بنائیں کہ آپ نے اپنے اکاؤنٹ کو Z-Library Telegram bot سے جوڑا ہے۔
فائل آپ کے Kindle اکاؤنٹ میں بھیجی جائے گی۔ آپ کو اسے موصول ہونے میں ۵-۱ منٹ لگ سکتے ہیں۔
نوٹ کریں : آپ کو ہر کتاب کی تصدیق کرنی ہوگی جسے آپ اپنے Kindle میں بھیجنا چاہیں۔ Amazon Kindle سے تصدیقی ای میل کے لیے اپنا میل باکس چیک کریں۔
میں تبدیلی جاری ہے۔
میں تبدیلی ناکام ہو گئی۔
پریمیم فوائد
- ای ریڈر کو بھیجیں
- بڑھتی ہوئی ڈاؤن لوڈ کی حد
- فائل کنورٹر
- مزید تلاش کے نتائج
- دیگر فوائد