Tools for Design, Implementation and Verification of Emerging Information Technologies e-bokEngelsk, 2024