《嵌入式软件系统测试:基于形式化方法的自动化测试解决方案》-殷永峰
内容简介: 本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形式化方法的嵌入式软...
内容简介: 本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形式化方法的嵌入式软...
内容简介: 当今世界,软件的规模越来越大、功能越来越复杂,研发团队的规模也变得越来越大,运维人员和研发人员之间的工作交集越来越多。在这个大前提下,微服务模式在大...
内容简介: 本书是一本系统、全面地介绍Python网络爬虫的实战宝典。作者融合自己丰富的工程实践经验,紧密结合演示应用案例,内容覆盖了几乎所有网络爬虫涉及的核心...
内容简介: 这是一本由国内最大的边缘计算组织——边缘计算产业联盟(ECC)和运营商边缘计算网络技术编委会官方组织整理出版,讲述边缘计算网络架构与体系的图书。 边...
内容简介: 剪映是一款操作简单、功能齐全的视频编辑软件,可以与抖音短视频平台无缝链接。剪映的应用不仅能提高短视频的质量,还能降低短视频的制作门槛,帮助更多用户快...
内容简介: Word/Excel/PPT 办公应用从入门到精通 Word/Excel/PPT 办公应用从入门到精通 Word/Excel/PPT 办公应用从入门...
内容简介: 本书全面系统地介绍了Photoshop CC的基本操作方法、图形图像处理技巧和在新媒体领域中的应用,包括初识Photoshop、Photoshop基...
内容简介: 全书共分10章,主要包括微信公众平台开发概述、微信公众平台开发快速入门、微信公众平台常见HTML5创意宣传页制作、天气预报查询功能实例、微信公众平台...
内容简介: 本书第一篇从介绍网络犯罪的认知出发,让读者深刻理解网络犯罪的心理和常见路线,讲述网络犯罪相关法律,让读者把握网络犯罪的三要素和侦查路线;第二篇,沿着...
内容简介: 本书由一线资深Python开发工程师精心编写,循序渐进地介绍Python自动化编程的相关知识。全书共20章,第1~14章讲解Python编程基础知识...