Nimbe Adedipe Library OPAC
Image from Google Jackets
Image from OpenLibrary
See Baker & Taylor
Image from Baker & Taylor

Formal methods of program verification and specification H. K Berg and etal

By: Material type: TextPublication details: New Jersey Prentice-Hall 1982Description: xiv, 207p.:ill. HbkISBN:
  • 0133288072
LOC classification:
  • QA76.6.F65 1982
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 Barcode
Books Main LIbrary QA76.6.F65 1982 (Browse shelf(Opens below)) Available 2026-1621

There are no comments on this title.

to post a comment.