Title of article
Predicate transformer semantics: Ernest G. Manes, (Cambridge University Press, Cambridge, 1993), ISBN 0-521-42036-9
Author/Authors
David Schmidt، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 1995
Pages
3
From page
100
To page
102
Journal title
Science of Computer Programming
Serial Year
1995
Journal title
Science of Computer Programming
Record number
1079407
Link To Document