Image from Google Jackets

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

By: Contributor(s): Material type: TextTextSeries: International computer science seriesPublication details: Wokingham, Eng ; Reading, MA : Addison-Wesley, c1988.Description: x, 222 p. : 24 cmISBN:
  • 020117572X
Subject(s): DDC classification:
  • 005.1/1 19
LOC classification:
  • QA 76.76.D47 H45 1988
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 Status Date due Barcode
Books Books Informatics and Virtual Education Library Collection General Collection QA76.76.D47 H45 1988 (Browse shelf(Opens below)) Available 2831

Includes index.

Bibliography: p. 138-153.

There are no comments on this title.

to post a comment.
© The University of Dodoma 2020