已完结
  • 文献求助详情
标题
[高分] 书籍 Formal Methods for Software Engineering
网址
DOI
10.1007/978-3-030-38800-3 doi
求助人
yjdxgw 在 2026-08-25 13:16:01 发布自重庆,悬赏 200 积分
下载 求助已完成,仅限求助人下载。
该求助已完结,感谢关注
如需该文献,请重新发布求助,前往发布
科研通,让源源不断科研创作灵感的涌现之地
请遵守相关知识产权规定,勿将文件分享给他人,仅可用于个人研究学习
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
寒月如雪完成签到,获得积分10
刚刚
张铭完成签到,获得积分10
刚刚
Ava应助莱因哈特别着急采纳,获得10
刚刚
小张不慌发布了新的文献求助10
刚刚
yy完成签到,获得积分10
刚刚
刚刚
樊念烟发布了新的文献求助10
1秒前
打打应助可耐的莫言采纳,获得10
1秒前
ice贝完成签到,获得积分10
1秒前
1秒前
景尘发布了新的文献求助10
2秒前
2秒前
CipherSage应助冰勾板勾采纳,获得10
2秒前
Arwen完成签到,获得积分10
2秒前
3秒前
李法拉完成签到 ,获得积分10
3秒前
科研狗应助zaochuan采纳,获得50
4秒前
无花果应助user_huang采纳,获得10
4秒前
4秒前
5秒前
SciGPT应助ccc采纳,获得10
5秒前
Lucas应助晓豪采纳,获得10
5秒前
5秒前
cheng发布了新的文献求助10
6秒前
岁岁平安完成签到 ,获得积分10
6秒前
6秒前
小马甲应助傲人男根采纳,获得10
7秒前
LingYun完成签到,获得积分10
7秒前
xinnnnnn发布了新的文献求助10
7秒前
linelolo完成签到,获得积分10
7秒前
lxq888完成签到,获得积分10
8秒前
8秒前
Mic应助追剧狂魔采纳,获得20
8秒前
8秒前
9秒前
printzhao完成签到,获得积分10
9秒前
fen发布了新的文献求助10
10秒前
10秒前
英姑应助zlren采纳,获得10
10秒前
10秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Römisch-Germanische Forschungen 1000
APA handbook of comparative psychology: Basic concepts, methods, neural substrate, and behavior 1000
Matrix Methods in Data Mining and Pattern Recognition Second Edition 510
The fast track to determining transfer functions of linear circuits: The student guide 500
The Analytical and Numerical Solution of Electric and Magnetic Fields 500
Discerning Saints: Moralization of Intrinsic Motivation and Selective Prosociality at Work 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 内科学 物理 复合材料 催化作用 细胞生物学 无机化学 光电子学 物理化学 电极 基因
热门帖子
关注 科研通微信公众号,转发送积分 7608064
求助须知:如何正确求助?哪些是违规求助? 9184013
关于积分的说明 19671652
捐赠科研通 7182068
什么是DOI,文献DOI怎么找? 3269963
关于科研通互助平台的介绍 2433680
邀请新用户注册赠送积分活动 2264350