Manipur University Library › Details for: FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION /

Normal view MARC view ISBD view

FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION /

By: Berg , H.KMaterial type: Text

TextLanguage: 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)

Holdings ( 1 )
Comments ( 0 )

Item type	Current library	Call number	Status	Date due	Barcode
Books	Central Library Manipur University	Bv M2 (Browse shelf (Opens below))	Available		308/comp

Browsing Central Library Manipur University shelves, Shelving location: MANI-795003 Close shelf browser (Hides shelf browser)

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available					Next
Previous	Bv M2 Computer system architecture /	Bv M2 Computer system architecture /	BV M2 Theory and problems of PROGRAMMING WITH BASIC /	Bv M2 FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION /	Bv M2 Forth Programming /	BV M2 Introduction to programmming and problem solving with pascal /	Bv M2 A Students` Guide to Programming in Pascal /	Next

There are no comments on this title.

to post a comment.