Is "sometime" sometimes better than "always"? : intermittent assertions in proving program correctness / by Zohara Manna, Richard Waldinger.

Material type: Text

TextPublisher: Stanford : Computer Science Department, Stanford University, 1976 [reprint 1977]ISBN: 1311.Subject(s): Artificial intelligenceDDC classification: 006.3

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
Book	Dr. B. R. Ambedkar Central Library Science	006.3 M3159 Is (Browse shelf(Opens below))	Available		84879

Reproduced by National Technical Information Service.

There are no comments on this title.

to post a comment.