Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.

By: Contributor(s): Publication details: Burlington, MA : Newnes, c2006.Description: xii, 306 p. : illSubject(s): Genre/Form: DDC classification:
  • 005.1/17 22
LOC classification:
  • QA76.76.D47 D78 2006eb
Online resources:
Reviews from LibraryThing.com:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number URL Status Date due Barcode Item holds
E-Book E-Book Strathmore University (Main Library) Online Resource Link to resource Not for loan
Total holds: 0

Includes bibliographical references (p. 295-301) and index.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.

© Strathmore University Library Madaraka Estate Ole, Sangale Road P. O. Box 59857 00200 City Square Nairobi Kenya
Tel.: (+254) (0)703 034000/(0)703 034200/(0)703 034300 Fax.: (+254) (0)20-607498