嶺東科技大學 |

登入

回首頁

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, Mass.
出版者:	Newnes;
出版年:	c2006
面頁冊數:	x, 306p.ill. : 24cm.; 1 CD-ROM+
標題:	Compter software - Development. -
標題:	Formal methods (Comptuer science) -
標題:	UML (Comptuer science) -
附註:	Includes bibliographical references (p. 295-301) and index.
ISBN:	0-7506-7949-2bound
ISBN:	9780750679497bound

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, Mass. : Newnes, c2006. - x, 306p. ; ill. ; 24cm..
Includes bibliographical references (p. 295-301) and index..
ISBN 0-7506-7949-2ISBN 9780750679497
Compter software - Development.Formal methods (Comptuer science)UML (Comptuer science)

Modeling and verification using UML statecharts : A working guide to reactive system design, runtime monitoring and execution-based model checking
LDR:00707nam 2200157 450 001 183845
010 1 $a 0-7506-7949-2 $b bound $d NT$1784
010 1 $a 9780750679497 $b bound
100 $a 20100306 2006 0chiy09 e
101 0 $a eng
200 0 $a Modeling and verification using UML statecharts $f Doron Drusinsky $e A working guide to reactive system design, runtime monitoring and execution-based model checking
210 $a Burlington, Mass. $d c2006 $c Newnes
215 1 $a x, 306p. $c ill. $d 24cm. $e 1 CD-ROM
300 $a Includes bibliographical references (p. 295-301) and index.
517 0 $a A working guide to reactive system design, runtime monitoring and execution-based model checking.
606 # 1 $a Compter software - Development. $3 184421
606 # 1 $a Formal methods (Comptuer science) $3 184400
606 # 1 $a UML (Comptuer science) $3 184399
676 $a 005.117
700 1 $a Drusinsky $b Doron $3 184398
801 0 $b 嶺東科技大學圖書館