Normal view MARC view ISBD view

Foundations of program verification

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: Wiley-Teubner Series In Computer SciencePublication details: Chichester, New York John Wiley 1984Description: ix, 230pSubject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	General Stacks	001.6424 L822f (Browse shelf(Opens below))	Available		A90060

Total holds: 0

Previous	No cover image available	No cover image available		No cover image available	No cover image available			Next
Previous	001.6424 K821t TURBO PASCAL	001.6424 L576s2 68000 assembly language programming [2nd ed.]	001.6424 L577g Guidebook to Fortran on supercomputers	001.6424 L822f Foundations of program verification	001.6424 L822f2 Foundations of program verification [2nd ed.]	001.6424 M224f Functional programming	001.6424 M224f Functional programming	Next

Bibliography : P. 222-226

There are no comments on this title.

to post a comment.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)