发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

System Specification & Design Languages || Modeling Techniques in Design-By-Refinement Methodologies

System Specification & Design Languages || Modeling Techniques in Design-By-Refinement Methodologies

Villar, Eugenio; Mermet, Jean
  • 作者Villar, Eugenio; Mermet, Jean
  • 文件大小309.30KB
  • 发表时间2004
  • DOI10.1007/0-306-48734-9_23
  • 页码283-292
← 返回【学霸图书馆】主页