Modeling and verification using UML statecharts :

Código QR

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

Mostrar otras versiones (1)

Guardado en:

Detalles Bibliográficos
Autor principal:	Drusinsky, Doron
Formato:	Libro
Lenguaje:	Undetermined
Publicado:	Burlington, MA Newnes 2006
Materias:	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
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

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̛