Formal and practical aspects of autonomic computing and networking : specification, development, and verification - Cong-Vinh, Phan (Information Science Reference, 2012)
Tiskano dvostupačno.