【预订】Formal Methods in Software and Systems Modeling 97835402 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540249368 Author 作者 Kreowski Format 版本 平装-胶订 Pages Number 页数 420页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-02-09 Language 语种 英语 Book Contents 内容简介 By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
¥608.00
预订 Formal Methods in Software and Systems Modeling: Essays D 【全球购】进口原版图书，约3-6周到达国内后发出
¥479.00
海外直订Formal Methods in Software and Systems Modeling: Essays
¥553.00
软件与系统建模形式方法/会议录Formal Methods in Software and Systems Modeli
¥537.00
