Deductive foundations of computer programming

By: Manna, ZoharContributor(s): Waldinger, Richard | Language: English Series: Publication details: ; Reading : Addison-Wesley Pub., 1993 ; 1993Edition: Description: xiv,717 p; 23 cmISBN: 1Subject(s): | Electronic digital computers -Programming | Logic, Symbolic and mathematical
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
681.3.06:519.28 Man Available G56A09 169261
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha