Formal methods of program verification and specification

By: Berg,H.K & OthresMaterial type: TextTextPublication details: U.S.A. Prentice-Hall 1982Description: xiv,207pISBN: 0133288072DDC classification: 621.381952
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 Shelving location Call number Copy number Status Date due Barcode
Book Book Mahatma Gandhi Central Library
ECD 621.381952 B47F (Browse shelf(Opens below)) 1 Available 225183

There are no comments on this title.

to post a comment.

Powered by Koha