Rongo Univesity Library catalog › Details for: Modeling and verification using UML statecharts

Normal view MARC view ISBD view

Modeling and verification using UML statecharts

by Drusinsky, Doron.

Additional authors: ebrary, Inc.

Published by : Newnes, (Burlington, MA :) Physical details: xii, 306 p. : ill.

Subject(s): UML (Computer science) | Formal methods (Computer science) | Computer software -- Development. | Electronic books.

Year: 2006

Online resources:

http://site.ebrary.com/lib/rucke/Doc?id=10186222
- An electronic book accessible through the World Wide Web; click to view

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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.