|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Antonio CeronePublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2023 Volume: 13490 Weight: 0.290kg ISBN: 9783031436772ISBN 10: 3031436776 Pages: 169 Publication Date: 05 November 2023 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 ContentsModelling Interactions: Digital and Physical.- Modelling and Analysing Cognition and Interaction.- Object-Centric Process Mining: An Introduction.- Model-based engineering for robotics with RoboChart and RoboTool.- Formal Methods Adoption in Industry: An Experience Report.- Security Research: Program Analysis Meets Security.ReviewsAuthor InformationAntonio Cerone, Nazarbayev University, Astana, Kazakhstan Tab Content 6Author Website:Countries AvailableAll regions |