Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing - Razvan Diaconescu - 图书 - World Scientific Publishing Co Pte Ltd - 9789810235130 - 1998年7月2日
如封面与标题不符，以标题为准

Razvan Diaconescu
Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification - Amast Series in Computing

商品到货时接收邮件提醒
Do you have a profile? 登录

顾客评价：

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

CafeOBJ is an industrial-strength modern algebraic specification language. This book presents not only a formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.

196 pages, Illustrations

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 1998年7月2日
ISBN13 9789810235130
出版商 World Scientific Publishing Co Pte Ltd
页数 196
商品尺寸 150 × 220 × 20 mm   ·   476 g

Razvan Diaconescu的更多作品

显示全部

Mere med samme udgiver

查看Razvan Diaconescu的全部作品 ( 例如 Hardcover Book 及 Paperback Book )