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

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

于 2023-08-26 发布 文件大小:214.85 kB
0 26
下载积分: 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 个回复

  • Win32编程的ActiveX控编程的点点滴滴
    activex控件编程Win32编程点滴 - 简单ActiveXControl控件的使用 汇编语言 疯狂代码-Programming Win32 Programming activex control bit by bit- a simple ActiveXControl control the use of assembly language code for crazy
    2022-06-21 13:58:04下载
    积分:1
  • 帮助自己的人是一个小医院的程序,是不完美的,但是很有价值…
    是自己帮一家医院做的小程序,还不完善,但很值得大家参考-help themselves is a small hospital procedures, is not perfect, but very valuable reference
    2023-06-25 21:00:02下载
    积分:1
  • 2022-08-24 01:05:45下载
    积分:1
  • MC145159 PLL频率合成器锁相环频率合成器的设计与实现…
    基于MC145159的PLL频率合成器设计与实现 介绍了锁相环路频率合成器的基本原理,分析了集成锁相环芯片M C 145159的工作特性,给出了集成锁相环芯片M C 145159的一个应用实例,为高频频率合成器的设计提供了一个较好的思路.测试结果证明了设计的合理性与实用性,系统频率稳定度优于10-7.-MC145159 PLL frequency synthesizer design and realization of PLL frequency synthesizer the basic principles of integrated PLL chip M C 145159 work characteristics, Integration is the PLL chip M C 145159 example of an application, for High Frequency Synthesizer Design provided a good idea. The test results proved the rationality of design and practicality. the system frequency stability is better than 10-7.
    2022-01-25 17:55:23下载
    积分:1
  • Software Testing on a very good document, worth a visit, explain in detail
    关于软件测试的非常好文档,值得一看,讲解详细-Software Testing on a very good document, worth a visit, explain in detail
    2022-12-16 01:15:03下载
    积分:1
  • 大家来下载啊,servlet api 中文帮助文档
    大家来下载啊,servlet api 中文帮助文档-U.S. to download ah, servlet api Chinese help documentation
    2022-01-24 17:44:23下载
    积分:1
  • 如何更新IMEI号码为中国移动
    how to renew imei number for china mobile
    2022-05-21 13:41:16下载
    积分:1
  • PIC
    PIC单片机自制烧写器原理图 想要试一试的朋友可以试验-PIC-made single-chip device programmer schematic friends want to try to test
    2023-02-08 05:15:03下载
    积分:1
  • 这是处之一位从业对年的老程序员对程序爱好者的编程建议
    这是处之一位从业对年的老程序员对程序爱好者的编程建议-This is the office of a practitioner of the year-old programmer for programming enthusiasts procedures recommended
    2022-03-22 13:42:07下载
    积分:1
  • LPC2200 project templates, ARMExecutableImageforLPC
    LPC2200工程模板,ARMExecutableImageforLPC-LPC2200 project templates, ARMExecutableImageforLPC
    2022-08-25 17:21:56下载
    积分:1
  • 696518资源总数
  • 104226会员总数
  • 29今日下载