Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - 图书 - Morgan & Claypool Publishers - 9781681736877 - 2020年1月27日
如封面与标题不符，以标题为准

Nestor Catano Collazos
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering

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

顾客评价：

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

其他版本：

Formal methods offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development. This book is a living proof of the use of formal methods to develop software. The particular formalisms used are EVENT B and refinement calculus.

99 pages

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2020年1月27日
ISBN13 9781681736877
出版商 Morgan & Claypool Publishers
页数 99
商品尺寸 150 × 220 × 10 mm   ·   185 g
语言 英语  
丛书主编 Baresi, Luciano

查看Nestor Catano Collazos的全部作品 ( 例如 Paperback Book )