登录
首页 » 软件系统 » 这是关于模型检测方面的经典入门书,介绍了模型检测产生的背景,发展过程,看完此书,肯定对模型检测有比较深刻的认识。...

这是关于模型检测方面的经典入门书,介绍了模型检测产生的背景,发展过程,看完此书,肯定对模型检测有比较深刻的认识。...

于 2023-08-26 发布 文件大小:214.85 kB
0 38
下载积分: 2 下载次数: 1

代码说明:

这是关于模型检测方面的经典入门书,介绍了模型检测产生的背景,发展过程,看完此书,肯定对模型检测有比较深刻的认识。-This is the model testing on the classic primer on the model checking the background, development process, after reading this book, certainly compared to the model checking has a deep understanding.

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • DTSD8800、DSSD8800 型三相电子式多功能电能表说明书
    DTSD8800、DSSD8800 型三相电子式多功能电能表说明书
    2022-07-20 07:29:44下载
    积分:1
  • 二叉树方法计算欧式期权价格,篮子期权,由2项资产
    二叉树方法计算欧式期权价格,篮子期权,由2项资产-binary tree method Continental options prices, basket options, from the two assets
    2022-11-16 18:05:03下载
    积分:1
  • 计算机虚拟仪器图形编程LabVIEW实验教材
    计算机虚拟仪器图形编程LabVIEW实验教材-Virtual Instruments LabVIEW graphical programming experimental materials
    2022-06-14 02:42:52下载
    积分:1
  • This is my assignment for my tutor s Class. A nd many problems exist, so you sho...
    This is my assignment for my tutor s Class. and many problems exist,so you should comprhend it and improve it to perfect.-This is my assignment for my tutor s Class. A nd many problems exist, so you should comprhend it and improve it to perf ect.
    2022-02-13 13:22:13下载
    积分:1
  • 库函数说明文
    库函数说明文件 -Library functions documentation
    2023-03-26 15:45:03下载
    积分:1
  • JPG图形API
    JPG Graph API Win 32 JPG API is a 32bit JPEG api dll. You can call it to show a JPG file in your program by only one sentence. The only thing that you have to know is how to load a dll libary and how to call ist functions. A example of Visual FoxPro is supplied in package.-JPG Graph Win 32 API JPG is a 32bit JPEG ap i dll. You can call it to show a JPG file in your pro gram by only one sentence. The only thing that yo u have to know is how to load a library dll and how to call ist functions. A example of Visual FoxPro i s supplied in package.
    2022-03-20 08:15:22下载
    积分:1
  • visual DSP++编程优化手册。该手册的目的就是使你的c程序更加有效。...
    visual DSP++编程优化手册。该手册的目的就是使你的c程序更加有效。-visual DSP++ programming optimization manual. The purpose of this manual is to make your c program more effective.
    2022-07-11 19:52:59下载
    积分:1
  • GNU Make Manual (Chinese translation edition) At present, although there are a n...
    GNU Make 使用手册(中译版)目前,在网上虽然有一些著作,但都不能全面的解释Linux源代码中各级的Makefile文件,因此本人认真阅读了GNU Make 使用手册(3.79)版原文,在此基础上翻译了该手册,以满足对Linux源代码有兴趣或者希望采用GCC编写程序但对缺乏GNU Make全面了解之人士的需要。-GNU Make Manual (Chinese translation edition) At present, although there are a number of online books, but they should not fully explain the Linux source code at all levels of Makefile files, so I carefully read the GNU Make Manual (3.79) version of the original text, in Based on this translation of the manual, to meet the demand for Linux source code are interested in or wish to adopt GCC programming GNU Make but the lack of a comprehensive understanding of the needs of people.
    2022-03-17 08:35:51下载
    积分:1
  • 用vb编写的控制测量界面的源码,和大家共同学习。多谢大家的支持。...
    用vb编写的控制测量界面的源码,和大家共同学习。多谢大家的支持。 -Prepared to use vb to control measurement of the source interface, and we all learn together. I would like to thank everyone" s support.
    2022-01-30 16:42:18下载
    积分:1
  • 高斯乔丹MPI
    /****************************************************************
    2022-07-01 18:26:51下载
    积分:1
  • 696518资源总数
  • 104349会员总数
  • 32今日下载