Temporal Type Theory - Schultz - 图书 - Springer Nature Switzerland AG - 9783030007034 - 2019年2月11日
如封面与标题不符，以标题为准

Schultz
Temporal Type Theory 1st ed. 2019 edition

价格
元 871
不含税

远程仓调货

预计送达时间 年6月8日 - 年6月18日

顾客评价：

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

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.

235 pages, 7 Illustrations, color; 60 Illustrations, black and white; VIII, 235 p. 67 illus., 7 illu

介质类型 图书     Book
已发行 2019年2月11日
ISBN13 9783030007034
出版商 Springer Nature Switzerland AG
页数 235
商品尺寸 241 × 195 × 18 mm   ·   535 g
语言 德语  

Schultz的更多作品

显示全部

查看Schultz的全部作品 ( 例如 Book , Paperback Book , CD , Sheet music 及 Hardcover Book )