005.1 / H465P
Hesselink, Wim H
PROGRAMS, RECURSION AND UNBOUNDED CHOICE / PREDICATE-TRANSFORMATION SEMANTICS AND TRANSFORMATION RULES .- ,
ISBN: 0521404363
Subject Headings:
Computer Programs;
Copy Details:
Acc. No.: A114188, Full Call No.: 005.1 H465P, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Hesselink, Wim H
PROGRAMS, RECURSION AND UNBOUNDED CHOICE / PREDICATE-TRANSFORMATION SEMANTICS AND TRANSFORMATION RULES .- ,
ISBN: 0521404363
Subject Headings:
Computer Programs;
Copy Details:
Acc. No.: A114188, Full Call No.: 005.1 H465P, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------