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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1079407
