Image from Google Jackets
Image from OpenLibrary

Program construction and verification / Roland C Backhouse. Textual Documents

By: Material type: TextTextLanguage: English Original language: NULL Publication details: London : Prentice -Hall International, Inc. , 1986.Description: NULL ; NULLSubject(s): DDC classification:
  • 005.14 BAC
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Home library Call number Copy number Status Date due Barcode
Book Book Dept. of Computer Science Processing Center Dept. of Computer Science 005.14 (Browse shelf(Opens below)) 1 Available DCS320

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close