Mathematical theory of program correctness

By: de Bakker, JacoContributor(s): Language: English Series: Publication details: ; Prentice/Hall International ; Edition: Description: xvi,505 p; 23 cmISBN: 0-13-562132-17Subject(s): | Computer programs-Correctness | Logic, Symbolic and matematical
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.28deB Available G56A08 124001
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha