01647nam 2200433 450 991048323690332120220123113336.03-030-77428-7(CKB)4100000011945260(MiAaPQ)EBC6628963(Au-PeEL)EBL6628963(OCoLC)1252763980(PPN)255882920(EXLCZ)99410000001194526020220123d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierTools for design, implementation and verification of emerging information technologies 15th EAI International Conference, TridentCom 2020, virtual event, November 13, 2020, proceedings /editors, Yu Weng [and three others]Cham, Switzerland :Springer,[2021]©20211 online resource (166 pages)Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ;Volume 3803-030-77427-9 Includes bibliographical references and index.Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ;Volume 380.Computer networksCongressesComputer networks004.6Weng YuMiAaPQMiAaPQMiAaPQBOOK9910483236903321Tools for Design, Implementation and Verification of Emerging Information Technologies1946024UNINA