Modeling and verification using UML statecharts :

Mã QR

Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking

Hiển thị phiên bản (1) khác

Đã lưu trong:

書目詳細資料
主要作者:	Drusinsky, Doron
格式:	圖書
語言:	Undetermined
出版:	Burlington, MA Newnes 2006
主題:	UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính Development,Phát triển
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ


LEADER	00843nam a2200217Ia 4500
001	CTU_184361
008	210402s9999 xx 000 0 und d
020			\|c 51.09
082			\|a 005.1
082			\|b D797
100			\|a Drusinsky, Doron
245		0	\|a Modeling and verification using UML statecharts :
245		2	\|b A working guide to Reactive System Design, runtime monitoring and execution-based model checking
245		0	\|c Doron Drusinsky
260			\|a Burlington, MA
260			\|b Newnes
260			\|c 2006
650			\|a UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính
650			\|x Development,Phát triển
904			\|i Qhieu
980			\|a Trung tâm Học liệu Trường Đại học Cần Thơ