Tools for Design, Implementation and Verification of Emerging Information Technologiesby Shui Yu, Bruce Gu, Youyang Qu, Xiaodong WangWriting a summary for young readers…For young readersBook data: Open Library