< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
华为公司5100IP-DSLAM业务与5200、3526、8850对接网管配置指导书-20020606-B
标签: 20020606 IP-DSLAM 5100 3526
上传时间: 2013-12-11
上传用户:jkhjkh1982
一本c++学习的必备之书《Essential C++》By Stanley B. Lippman,
标签: B. Essential Stanley Lippman
上传时间: 2014-01-20
上传用户:水中浮云
同时由B.W.Kernighan和D.M.Ritchit合著了著名的“THE C PROGRAMMING LANGUAGE”一书。通常简称为《K&R》,也有人称之为《K&R》标准
标签: PROGRAMMING Kernighan LANGUAGE Ritchit
上传时间: 2017-05-29
上传用户:ddddddos
剖析Intel IA32 架构下C 语言及CPU 浮点数机制 Version 0.01 哈尔滨工业大学 谢煜波 (email: xieyubo@126.com 网址:http://purec.binghua.com) (QQ:13916830 哈工大紫丁香BBSID:iamxiaohan) 前言 这两天翻看一本C 语言书的时候,发现上面有一段这样写到 例:将同一实型数分别赋值给单精度实型和双精度实型,然后打印输出。 #include <stdio.h> main() { float a double b a = 123456.789e4 b = 123456.789e4 printf(“%f\n%f\n”,a,b) } 运行结果如下:
标签: Version xieyubo Intel email
上传时间: 2013-12-25
上传用户:徐孺
library系统主要实现以下几个功能: a.图书管理 b.读者管理 c.借阅管理 d.信息查询 e.作者信息 功能描述: 图书管理包括新书入库、旧书注销、信息修改。 读者管理包括增加读者、删除读者、信息修改。 借阅管理包括借书管理、还书管理。 信息查询包括图书信息查询、借还记录查询、未还图书查询。 关于作者中,可以看到作者的基本信息。 退出中,询问管理人员是否要退出系统。
上传时间: 2014-01-16
上传用户:zhangjinzj
C语言是在 70年代初问世的。一九七八年由美国电话电报公司(AT&T)贝尔实验室正式 发表了C 语言。同时由B.W.Kernighan和 D.M.Ritchit合著了著名的“THE C PROGRAMMING LANGUAGE”一书。通常简称为《K&R》,也有人称之为《K&R》标准。但是,在《K&R》中并 没有定义一个完整的标准C语言,后来由美国国家标准学会在此基础上制定了一个C 语言 标准,于一九八三年发表。通常称之为ANSI C。 当代最优秀的程序设计语言
标签: Kernighan Ritchit PROGRA THE
上传时间: 2016-12-23
上传用户:chens000
作者B.A.Shenoi, John Wiley & Sons 出版社出版,主要讲述DSP信号处理、滤波器设计,书里包含大量matlab实例。
上传时间: 2017-05-20
上传用户:13215175592
C语言是在70年代初问世的。一九七八年由美国电话电报公司(AT&T)贝尔实验室正式发表了C语言。同时由B.W.Kernighan和D.M.Ritchit合著了著名的“THE C PROGRAMMING LANGUAGE”一书。通常简称为《K&R》,也有人称之为《K&R》标准。但是,在《K&R》中并没有定义一个完整的标准C语言,后来由美国国家标准学会在此基础上制定了一个C 语言标准,于一九八三年发表。通常称之为ANSI C。
标签: PROGRAMMING Kernighan Ritchit THE
上传时间: 2014-11-12
上传用户:思琦琦
高通(Qualcomm)蓝牙芯片QCC5144_硬件设计详细指导书(官方内部培训手册)其内容是针对硬件设计、部分重要元器件选择(ESD,Filter)及走线注意事项的详细说明。2 Power management 2.1 SMPS 2.1.1 Components specification 2.1.2 Input power supply selection 92.1.3 Minimize SMPS EMI emissions 2.1.4 Internal LDOs and digital core decoupling 2.1.5 Powering external components 2.2 Charger 2.2.1 Charger connections.2.2.2 General charger operation2.2.3 Temperature measurement during charging 2.3 SYS_CTRL 3 Bluetooth radio3.1 RF PSU component choice 3.2 RF band-pass filter3.3 Layout (天线 走线的注意事项)4 Audio4.1 Audio bypass capacitors 4.2 Earphone speaker output4.3 Line/Mic input 4.4 Headphone output optimizition5 LED pads 5.1 LED driver 5.2 Digital/Button input 5.3 Analog input5.4 Disabled 6 Reset pin (Reset#)7 USB interfaces7.1 USB device port7.1.1 USB device port7.1.2 Layout notes 7.1.3 USB charger detectionA QCC5144 VFBGA example schematic and BOM B Recommended SMPS components specificationB.1 Inductor specifition B.2 Recommended inductors B.3 SMPS capacitor specifition
上传时间: 2022-04-07
上传用户:默默