Modeling and verification using UML statecharts :

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:
Chi tiết về thư mục
Tác giả chính: Drusinsky, Doron
Định dạng: Sách
Ngôn ngữ:Undetermined
Được phát hành: Burlington, MA Newnes 2006
Những chủ đề:
UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính
Development,Phát triển
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
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 học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính 
650 |x Development,Phát triển 
904 |i Qhieu 
980 |a Trung tâm Học liệu Trường Đại học Cần Thơ 

Những quyển sách tương tự