Challenges of Software Verification - Intelligent Systems Reference Library - - 图书 - Springer Verlag, Singapore - 9789811996030 - 2024年7月26日
如封面与标题不符，以标题为准

Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

价格
元 1.150
不含税

远程仓调货

预计送达时间 年6月19日 - 年7月1日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2024年7月26日
ISBN13 9789811996030
出版商 Springer Verlag, Singapore
页数 264
商品尺寸 150 × 220 × 10 mm   ·   429 g
编辑 Arceri, Vincenzo
编辑 Cortesi, Agostino
编辑 Ferrara, Pietro
编辑 Olliaro, Martina

Mere med samme udgiver