Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - 1992年12月14日
如封面与标题不符，以标题为准

Ron Koymans
Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science 1992 edition

价格
元 371
不含税

远程仓调货

预计送达时间 年7月20日 - 年7月30日

顾客评价：

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

Not rated yet

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.

174 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 1992年12月14日
ISBN13 9783540562832
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 174
商品尺寸 155 × 233 × 9 mm   ·   267 g
语言 英语  

Mere med samme udgiver

查看Ron Koymans的全部作品 ( 例如 Paperback Book )