切換：
- 簡略
- 詳細(MARC)
- ISBD
-
Modeling and verification using UML statecharts:a working guide to reactive system design, runtime monitoring, and execution-based model checking
紀錄類型 ： 書目-語言資料,印刷品: 單行本
副題名 ： a working guide to reactive system design, runtime monitoring, and execution-based model checking
作者 ： DrusinskyDoron.,
出版地 ： Burlington, MA
出版者 ： Newnes;
出版年 ： c2006.
面頁冊數 ： xii, 306 p.ill. : 24 cm.; 1 CD-ROM (4 3/4 in.)+
標題 ： Computer software - Development. -
標題 ： Formal methods (Computer science) -
ISBN ： 0750679492
ISBN ： 9780750679497
LEADER 00808cam a22002414i 450
001 156795
005 20060725222116.0
009 a(OCoLC)ocm64065948
009 14265823
009 164819
010 1 $a0750679492$bbound$dNT1904
010 1 $a9780750679497$bbound
020 $aUS$b2006005265
042 $apcc
100 $a20111104d2006 m y0engy09 b
101 0 $aeng
102 $aus
105 $aaz a 001yy
200 1 $aModeling and verification using UML statecharts$ea working guide to reactive system design, runtime monitoring, and execution-based model checking$fDoron Drusinsky.
210 $aBurlington, MA$dc2006.$cNewnes
215 1 $axii, 306 p.$cill.$d24 cm.$e1 CD-ROM (4 3/4 in.)
320 $aIncludes bibliographical references (p. 295-301) and index.
606 $aComputer software $xDevelopment.$2lc$3120375
606 $aFormal methods (Computer science)$2lc$376392
606 $aUML (Computer science)$2lc$316850
676 $a005.1/17$v22
680 $aQA76.76.D47$bD78 2006
700 1$aDrusinsky$bDoron.$3182543
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..
Includes bibliographical references (p. 295-301) and index..
ISBN 0750679492ISBN 9780750679497
Computer software Formal methods (Computer science)UML (Computer science) -- Development.
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..
Includes bibliographical references (p. 295-301) and index..
ISBN 0750679492ISBN 9780750679497
Computer software Formal methods (Computer science)UML (Computer science) -- Development.
- 館藏(2)
- 心得(0)
- 標籤
發表心得
借過這本書的人還借了哪些館藏
實戰Delphi...
李維
八百萬種死法
Block, Lawrence
電子學寶典(上冊...
劉人傑
夏先生的故事
徐四金
實戰Pocket...
楊先民
中級會計學(上冊...
鄭丁旺
離散時間訊號處理
Schafer, Ronald W
94年計算機概論...
蔡定遠
魔戒首部曲:魔戒...
托爾金 ( (Tolkien, J.R.R.))
統計學
許淑卿