Title of article :
Formal specification and design, Cambridge tracts in theoretical computer science: L.M.G. Feijs and H.B.M Jonkers, (Cambridge University Press, 1992) (hardback), ISBN 0-521-43457-2
Author/Authors :
Horst Reichel، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 1995
Pages :
2
From page :
185
To page :
186
Journal title :
Science of Computer Programming
Serial Year :
1995
Journal title :
Science of Computer Programming
Record number :
1079414
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1079414
