240 发简信
IP属地:江西
  • 120
    Don’t Test, Verify. | 哪个故事真正符合你对形式化验证的想象?

    从诞生至今,形式化验证(Formal Verification)方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段,更是为这项技术增添了一...

  • @撞灰 提供的网站打不开啊,无法购买

    计算机图形学第三版中文pdf下载

    计算机图形学第三版中文pdf下载地址: 链接:https://pan.baidu.com/s/1trfiQ8lwg-62aN_3lbXjmg 提取码:r9wt 《计算机图形学...

  • 对类型理论(Type Theory)的理解

    作为程序员的我们用不同编程语言写程序多年了。 我们是否反思过,为什么需要程序,为什么我们需要编程语言,究竟什么是编程语言,它们是怎样运作的?同时,函数式编程范式现在是一门很热...

  • 120
    大话数据结构读书笔记

    一、数据结构绪论 逻辑结构与物理结构逻辑结构:集合、线性(一对一)、树(一对多)、图(多对多)物理结构:顺序存储结构、链式储存结构 抽象数据类型 (Abstract Data...