Tools for Design, Implementation and Verification of Emerging Information Technologiesby Xinyi Huang, Jianghua Liu, Lei XuWriting a summary for young readers…For young readersBook data: Open Library