FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION /

By: Berg , H.KMaterial type: TextTextLanguage: English Publication details: New Jersey : Prentice-Hall . Edition: 19820000Description: xiv,207ISBN: 0-13-328807-2 Colon classification: Bv
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number Status Date due Barcode
Books Central Library Manipur University
Bv M2 (Browse shelf (Opens below)) Available 308/comp

There are no comments on this title.

to post a comment.
Visitors