|
![]() |
|||
|
||||
OverviewThis book constitutes the refereed proceedings of the First International Congress, ICECENG 2022, held in February 2022. Due to COVID-19 pandemic the conference was held virtually. The 15 full and 2 short papers were selected from 48 submissions and are organized in 4 main tracks: technology trends, artificial intelligence, computing and security. The papers detail the application of formal methods to the construction and analysis of models describing technological processes at both micro and macro levels. Full Product DetailsAuthor: Muhammet Nuri SeymanPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2022 Volume: 436 Weight: 0.355kg ISBN: 9783031019838ISBN 10: 3031019830 Pages: 217 Publication Date: 11 May 2022 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |