Adapting Proofs-as-Programs Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley

By:

Material type: Text

TextPublication details: 2005ISBN:

Subject(s):

Online resources:

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	Home library	Collection	Status	Barcode
EBooks	BLDEAs V. P. Dr. P. G. Halakatti College of Engineering & Technology	BLDEAs V. P. Dr. P. G. Halakatti College of Engineering & Technology	Computer Science and Engineering	Available	EB09

There are no comments on this title.

to post a comment.