| Type |  Book |
| ชื่อเรื่อง | Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky |
| ผู้แต่ง | Drusinsky, Doron |
| ISBN | 0750679492 |
| | 9780750679497 |
| พิมพลักษณ์ | Amsterdam : Elsevier, 2006 |
| | Burlington, Mass. : Newnes, c2006 |
| รูปเล่ม | 1 computer file |
| ลิงค์ | Ebook from ScienceDirect |
| หัวเรื่อง | Computer software --Development [] |
| | Formal methods (Computer science) |
| | UML (Computer science) |
| | Computer software development |
| | Software architecture |