語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Modeling and verification using UML ...
~
Drusinsky, Doron.
Modeling and verification using UML statecharts : = a working guide to reactive system design, runtime monitoring, and execution-based model checking /
紀錄類型:
書目-語言資料,印刷品 : 單行本
正題名/作者:
Modeling and verification using UML statecharts :/ Doron Drusinsky.
其他題名:
a working guide to reactive system design, runtime monitoring, and execution-based model checking /
作者:
Drusinsky, Doron.
出版者:
Burlington, MA :Newnes, : c2006.,
面頁冊數:
xii, 306 p. :ill. ; : 24 cm. +; 1 CD-ROM (4 3/4 in.) +
標題:
UML (Computer science) -
電子資源:
http://www.loc.gov/catdir/toc/ecip068/2006005265.html
ISBN:
0750679492 (bound) :
Modeling and verification using UML statecharts : = a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Drusinsky, Doron.
Modeling and verification using UML statecharts :
a working guide to reactive system design, runtime monitoring, and execution-based model checking /Doron Drusinsky. - Burlington, MA :Newnes,c2006. - xii, 306 p. :ill. ;24 cm. +1 CD-ROM (4 3/4 in.)
Includes bibliographical references (p. 295-301) and index.
ISBN: 0750679492 (bound) :NT$1795
LCCN: 2006005265Subjects--Topical Terms:
483122
UML (Computer science)
LC Class. No.: QA76.76.D47 / D78 2006
Dewey Class. No.: 005.1/17
Modeling and verification using UML statecharts : = a working guide to reactive system design, runtime monitoring, and execution-based model checking /
LDR
:00884cam 22002174a 4500
001
385657
005
20130114150155
008
060214s2006 maua b 001 0beng
010
$a
2006005265
020
$a
0750679492 (bound) :
$c
NT$1795
020
$a
9780750679497 (bound)
035
$a
380
040
$a
DLC
$c
DLC
$d
YDX
$d
BAKER
$d
DLC
042
$a
pcc
050
0 0
$a
QA76.76.D47
$b
D78 2006
082
0 0
$a
005.1/17
100
1
$a
Drusinsky, Doron.
$3
483121
245
1 0
$a
Modeling and verification using UML statecharts :
$b
a working guide to reactive system design, runtime monitoring, and execution-based model checking /
$c
Doron Drusinsky.
260
$a
Burlington, MA :
$b
Newnes,
$c
c2006.
300
$a
xii, 306 p. :
$b
ill. ;
$c
24 cm. +
$e
1 CD-ROM (4 3/4 in.)
504
$a
Includes bibliographical references (p. 295-301) and index.
650
0
$a
UML (Computer science)
$3
483122
650
0
$a
Formal methods (Computer science)
$3
483123
650
0
$a
Computer software
$x
Development.
$3
482213
856
4 1
$u
http://www.loc.gov/catdir/toc/ecip068/2006005265.html
856
4 2
$u
http://www.loc.gov/catdir/enhancements/fy0632/2006005265-d.html
筆 0 讀者評論
全部
圖書館書庫區
館藏
1 筆 • 頁數 1 •
1
尋書單
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
備註欄
附件
列印
E011185
圖書館書庫區
L可借閱
英文圖書
BE QA76.76.D47 D797 2006
一般(Normal)
在架上
0
1 CD-ROM (4 3/4 in.);CD(E011185-1)
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
修改密碼
登入