001.642 / M313p
Manes, Ernest G.
PREDICATE TRANSFORMER SEMANTICS / .- Cambridge: Cambridge Univ. Press, c1992 .- 223 . .- ( Cambridge Tracts In Theoretical Computer Science No. 33
Includes Bibliographical References And Index
ISBN: 0521420369
Subject Headings:
Logic Programming;
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A116162, Full Call No.: 001.642 M313p, Item type: Written-off , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Manes, Ernest G.
PREDICATE TRANSFORMER SEMANTICS / .- Cambridge: Cambridge Univ. Press, c1992 .- 223 . .- ( Cambridge Tracts In Theoretical Computer Science No. 33
Includes Bibliographical References And Index
ISBN: 0521420369
Subject Headings:
Logic Programming;
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A116162, Full Call No.: 001.642 M313p, Item type: Written-off , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------