The University of Dodoma Library Catalog

Normal view MARC view ISBD view

Software prototyping, formal methods, and VDM / Sharam Hekmatpour, Darrel Ince.

By: Hekmatpour, Sharam, 1961-.
Contributor(s): Ince, D. (Darrel).
Material type: TextTextSeries: International computer science series. Publisher: Wokingham, Eng ; Reading, MA : Addison-Wesley, c1988Description: x, 222 p. : 24 cm.ISBN: 020117572X.Subject(s): Computer software -- Development | Formal methods (Computer science) | PrototypingDDC classification: 005.1/1
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Books Books Library Collection of Informatics and Virtual Education
General Collection
QA76.76.D47 H45 1988 (Browse shelf) Available 2831

Includes index.

Bibliography: p. 138-153.

There are no comments for this item.

Log in to your account to post a comment.
© The University of Dodoma 2020