嶺東科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Understanding formal methods

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	MoninJean-Francois,
其他作者:	HincheyMichael G. ,
出版地:	London
出版者:	Springer;
出版年:	2003
面頁冊數:	xv, 275p.ill. : 24cm.;
標題:	Formal methods (Computer science) -
附註:	Includes bibliographical references(p.[255]-267) and index.
ISBN:	1-85233-247-6pbk.

Understanding formal methods
Monin, Jean-Francois

Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey - London : Springer, 2003. - xv, 275p. ; ill. ; 24cm..
Includes bibliographical references(p.[255]-267) and index..
ISBN 1-85233-247-6
Formal methods (Computer science)

Hinchey, Michael G.

Understanding formal methods
LDR:00493nam 2200133 450 001 131241
010 1 $a 1-85233-247-6 $b pbk. $d NT$2227
100 $a 20100306 2003 0chiy09 e
101 0 $a eng
200 0 $a Understanding formal methods $f written and translated by Jean François Monin $g translation editor, Michael G. Hinchey
210 $a London $d 2003 $c Springer
215 1 $a xv, 275p. $c ill. $d 24cm.
300 $a Includes bibliographical references(p.[255]-267) and index.
606 # 1 $a Formal methods (Computer science) $3 131133
676 $a 004.0151
700 1 $a Monin $b Jean-Francois $4 written and translated $3 131131
702 0 $a Hinchey $b Michael G. $4 translation editor $3 407419
801 0 $b 嶺東科技大學圖書館 $a tw

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

183630

總館A區6F

一般流通

一般圖書

004.0151 M744

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入