首页 文库资料 文章资讯  上传文档  发布文章  登录账户

分类

全部后端开发(2)系统运维(1)C++(1)Rust(1)网络与安全(1)

语言

全部英语(2)中文（简体）(1)

格式

全部PPT文档 PPT(3)
 
本次搜索耗时 0.008 秒，为您找到相关结果约 3 个.

  • ppt文档 No Silver Bullet – Essence and Accident in Software Engineering

    verification • Program verification does not mean error-proof programs • There is no magic here either, mathematical proofs can be faulty • Even perfect program validation can only establish that a program meets
    0 码力 | 35 页 | 1.43 MB | 6 月前
    3

  • ppt文档 THE FIRST EXPLORATION OF PROJECT SPARROW

    https://docs.sel4.systems/projects/sel4/status.html Mathematical Proof Source: https://sel4.systems/About/seL4-whitepaper.pdf I. Background  Functional
    0 码力 | 68 页 | 13.14 MB | 1 年前
    3

  • ppt文档 C++20: An (Almost) Complete Overview

    -- Marc Gregoire Wednesday, September 16 • 13:3077 Math Constants   Following mathematical constants are defined:  e, log2e, log10e  pi, inv_pi, inv_sqrtpi  ln2, ln10  sqrt2, sqrt3
    0 码力 | 85 页 | 512.18 KB | 6 月前
    3
共 3 条
  • 1
前往
页
相关搜索词
NoSilverBulletEssenceandAccidentinSoftwareEngineering李枫2023RustChinaConf__SparrowFengLi20230614aofficialtemplateC++20AnAlmostCompleteOverview