Predicate calculus and program semantics

By: Dijkstra, Edsger WContributor(s): Scholten, Carel S | Language: English Series: Publication details: New York ; Springer-Verlag, ; 1990Edition: Description: x,220 p; 23 cmISBN: 0-387-96957-84Subject(s): | Predicate calculus | Programming languages (Electronic computers)-Semantics
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:517.1 Dij Available G56A06 158927
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha