Professional Documents
Culture Documents
Volume Type AACR
Volume Type AACR
004
FOR Formal and Practical aspects and networking : specification
,development and verification/edited by phan cong-
vinh.-[S.l]:L. Rienner Publishers,1987.
3v. ;26cm.
Library has 3vol.
contents: v.1.Autonomic computing.-v.2.Computer
Networks.-v.3.Formal method Boulder.
ISBN:975160960845
1.Information Technology.I.Cong-vinh,phan,ed./tran.
/comp.II.Title: Autonomic computing.III.Computer Networks
.IV.Title:Formal method Boulder.