Formal methods of program verification and specification H. K. Berg...[et al]

By:

Contributor(s):

Material type: Text

TextPublication details: New Jersey Prentice-Hall 1982Description: xiv, 207pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
General Books	Govind Ballabh Pant University of Agriculture and Technology	001.6425 B493F (Browse shelf(Opens below))	Available		336283

Previous		No cover image available No cover image available	No cover image available No cover image available					Next
Previous	001.6425 B422S SuperCalc! the book	001.6425 B422S,2 Software testing techniques	001.6425 B422S,2 :2 Software testing techniques	001.6425 B493F Formal methods of program verification and specification	001.6425 B535S Software configuration management	001.6425 B592S.1 0.1 Software reusability	001.6425 B619H High-level languages and software applications	Next

Includes index

There are no comments on this title.

to post a comment.