Title of article :
Abstractions of data types
Author/Authors :
Ferucio Lauren?iu ?iplea and Constantin Enea ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Pages :
33
From page :
639
To page :
671
Keywords :
Data type · Universal algebra · Verification · Abstraction
Journal title :
acta Informatica
Serial Year :
2006
Journal title :
acta Informatica
Record number :
287839
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=287839
بازگشت