Електронна книга > Наука > Техніка > Електроніка, електротехніка, телекомунікації > Marco Autili & Alessio Bucaioni: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops (ePUB)

Marco Autili & Alessio Bucaioni
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [EPUB ebook]
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Підтримка

Обкладинка Marco Autili & Alessio Bucaioni: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops (ePUB)

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 – 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;Co Sim-CPS 2021 – 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;Open CERT 2021 – 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 – 3rd International Workshop on Automated and verifiable Software s Ystem Development.Due to the Corona pandemic this event washeld virtually.

€57.59

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат EPUB ● ISBN 9783031124297 ● Редактор Marco Autili & Alessio Bucaioni ● Видавець Springer International Publishing ● Опубліковано 2022 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 8679169 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Marco Autili Alessio Bucaioni Antonio Cerone Claudio Gomes Pierluigi Graziani Maurizio Palmieri Marco Temperini Gentiane Venture

18 612 Електронні книги в цій категорі

Обкладинка Weiming Shen: Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing

Weiming Shen: Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing

Agent Technology, or Agent-Based Approaches, is a new paradigm for developing software applications. It has been hailed as ”the next significant breakthrough in software development”, and ”the new …

Обкладинка Frantisek Darena & Arnost Svoboda: Text Mining with Machine Learning

Frantisek Darena & Arnost Svoboda: Text Mining with Machine Learning

This book provides a perspective on the application of machine learning-based methods in knowledge discovery from natural languages texts. By analysing various data sets, conclusions which are not no …

Обкладинка Edmond J. Murphy: Integrated Optical Circuits and Components

Edmond J. Murphy: Integrated Optical Circuits and Components

Updates the advancements made in the level of achievable integration of optical circuits and components in the last ten years–highlighting the commercial success of particular devices as well as int …

Обкладинка Victor Chang & Robert John Walters: Delivery and Adoption of Cloud Computing Services in Contemporary Organizations

Victor Chang & Robert John Walters: Delivery and Adoption of Cloud Computing Services in Contemporary Organizations

Обкладинка Dimitris Kanellopoulos: Emerging Research on Networked Multimedia Communication Systems

Dimitris Kanellopoulos: Emerging Research on Networked Multimedia Communication Systems

Обкладинка Nicolas (University Pierre & Marie Curie, Paris, France) Sabouret: Understanding Artificial Intelligence

Nicolas (University Pierre & Marie Curie, Paris, France) Sabouret: Understanding Artificial Intelligence

Artificial Intelligence (AI) fascinates, challenges and disturbs us. There are many voices in society that predict drastic changes that may come as a consequence of AI – a possible apocalypse or Eden …

Обкладинка Athanasios D. Panagopoulos: Handbook of Research on Next Generation Mobile Communication Systems

Athanasios D. Panagopoulos: Handbook of Research on Next Generation Mobile Communication Systems

Обкладинка M.A. Jabbar & Fernando Ortiz-Rodriguez: Smart Urban Computing Applications

M.A. Jabbar & Fernando Ortiz-Rodriguez: Smart Urban Computing Applications

This edited book is a collection of quality research articles reporting research advances in the area of deep learning, Io T and urban computing. It describes new insights based on deep learning and …

Обкладинка John Stonham: Digital Logic Techniques

John Stonham: Digital Logic Techniques

The third edition of Digital Logic Techniques provides a clear and comprehensive treatment of the representation of data, operations on data, combinational logic design, sequential logic, computer ar …

Обкладинка Rui Dinis & Paulo Montezuma: Frequency-Domain Receiver Design for Doubly Selective Channels

Rui Dinis & Paulo Montezuma: Frequency-Domain Receiver Design for Doubly Selective Channels

Frequency-Domain Receiver Design for Doubly-Selective Channels discusses broadband wireless transmission techniques, which are serious candidates to be implemented in future broadband wireless and ce …

Наступна сторінка >>>