Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) - H Dang Van - 图书 - Springer London Ltd - 9781852333591 - 2002年2月8日
如封面与标题不符，以标题为准

H Dang Van
Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) 2002 edition

价格
元 699
不含税

远程仓调货

预计送达时间 年7月22日 - 年8月3日

顾客评价：

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

Not rated yet

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.

424 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2002年2月8日
ISBN13 9781852333591
出版商 Springer London Ltd
页数 405
商品尺寸 155 × 235 × 21 mm   ·   589 g
语言 英语  
编辑 Dang Van, Hung
编辑 George, Chris
编辑 Janowski, Tomasz
编辑 Moore, Richard

Mere med samme udgiver

查看H Dang Van的全部作品 ( 例如 Paperback Book )