國立臺東大學館藏查詢系統

館藏書目查詢 > 書目資料

借閱次數 :

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

點閱：226
評分：0
評論：0
引用：0
轉寄：0

簡略

MARC

008

060502s2005 gw a b 011 0 eng d

001

210231

005		19980103100201.0
010		\|a 2005920315
020		\|a3540249362 (pbk.) :\|cNT\|2052
035		\|a2005920315
035		\|a(OCoLC)ocm58472771
040		\|aTWNTU\|cTWNTU\|dTWNTU\|Q
042		\|alccopycat
050	00	\|aQA76.9.F67\|bF66 2005
082	00	\|a004/.01/51\|222
095		\|aNTTU\|bG\|cE027740\|d004.0151\|eF723\|pBOOK\|fSYNSIA\|zBOOK\|m0\|tDDC
245	00	\|aFormal methods in software and systems modeling :\|bessays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /\|cHans-Jorg Kreowski ... [et al.] (eds.).
260		\|aBerlin ;\|aNew York :\|bSpringer,\|cc2005.
300		\|axxvii, 411 p. :\|bill. ;\|c24 cm.
440	0	\|aLecture notes in computer science,\|x0302-9743 ;\|v3393
490	1	\|aFestschrift
504		\|aIncludes bibliographical references and index.
650	0	\|aFormal methods (Computer science)
650	0	\|aComputer software.
650	0	\|aComputer systems\|xDesign.
700	1	\|aEhrig, Hartmut.
700	1	\|aKreowski, H.-J.\|q(Hans-Jorg)
809		\|d004.0151\|eF723\|tDDC\|pBOOK
830	0	\|aLecture notes in computer science.\|pFestschrift.

書籤：

延伸查詢

匯出資料

線上調借

館藏
簡介
作者簡介
標籤(0)
收藏(0)
評論(0)
評分(0)

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.

回頁首

此功能為會員專屬功能請先登入