Image from Google Jackets
Image from OpenLibrary

Formal specification and software development Bjorner Dines; Jones Cliff B

By: Contributor(s): Material type: TextTextLanguage: English Series: Prentice hall international series in computer sciencePublication details: New Jersey Prentice Hall 1982Description: x, 501p. cmSubject(s): DDC classification:
  • D65,8(B)92, M2
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 Home library Call number Status Barcode
Textual Textual Central Science Library Central Science Library D65,8(B)92 M2 (Browse shelf(Opens below)) Available SL0954722

Includes bibliography

There are no comments on this title.

to post a comment.