Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Drusinsky, Doron
Байгууллагын зохиогч:	ebrary, Inc
Формат:	Цахим Цахим ном
Хэл сонгох:	англи
Хэвлэсэн:	Burlington, MA : Newnes, c2006.
Нөхцлүүд:	UML (Computer science) Formal methods (Computer science) Computer software > Development. Electronic books.
Онлайн хандалт:	An electronic book accessible through the World Wide Web; click to view
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Интернэт