कवर छवि
क्यूआर कोड

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
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
भौतिक वर्णन:xii, 306 p. : ill.
ग्रन्थसूची:Includes bibliographical references (p. 295-301) and index.

समान संसाधन