Image from Google Jackets

Formal methods of program verification and specification

By: Contributor(s): Language: English Publication details: New Jersey Prentice-Hall 1982Description: xiv, 207 pISBN:
  • 0133288072
Subject(s):
Item type: Lending Books
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Lending Books Lending Books Engineering Library Lending Section Lending Collection 004.453 BER (Browse shelf(Opens below)) Available 213932
Total holds: 0

There are no comments on this title.

to post a comment.