Електронна книга > Наука > Информатика > Прикладное программное обеспечение > Adrian Riesco & Min Zhang: Formal Methods and Software Engineering (ePUB)

Adrian Riesco & Min Zhang
Formal Methods and Software Engineering
23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

поддержка

Adobe DRM

Обложка Adrian Riesco & Min Zhang: Formal Methods and Software Engineering (ePUB)

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

€56.03

язык английский ● Формат EPUB ● ISBN 9783031172441 ● редактор Adrian Riesco & Min Zhang ● издатель Springer International Publishing ● опубликованный 2022 ● Загружаемые 3 раз ● валюта EUR ● Код товара 8683714 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Adrian Riesco Min Zhang

16 153 Электронные книги в этой категории

Обложка Sathiadev Mahesh & Cherie C. Trumbach: Agile Scrum Implementation and Its Long-Term Impact on Organizations

Sathiadev Mahesh & Cherie C. Trumbach: Agile Scrum Implementation and Its Long-Term Impact on Organizations

Software engineering has surfaced as an industrial field that is continually evolving due to the emergence of advancing technologies and innovative methodologies. Scrum is the most recent revolution …

Обложка Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Mehdi Khosrow-Pour: Systems and Software Development, Modeling, and Analysis: New Perspectives and Methodologies

Обложка Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Обложка Siva Dorairaj & Imran Ghani: Emerging Innovations in Agile Software Development

Siva Dorairaj & Imran Ghani: Emerging Innovations in Agile Software Development

Обложка Masha Etkind & Uri Shafrir: Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities

Masha Etkind & Uri Shafrir: Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities

Обложка Chih-Min Lin & Zhixiong Zhong: Large-Scale Fuzzy Interconnected Control Systems Design and Analysis

Chih-Min Lin & Zhixiong Zhong: Large-Scale Fuzzy Interconnected Control Systems Design and Analysis

Обложка M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

M. Narasimha Murty & Hari Seetha: Modern Technologies for Big Data Classification and Clustering

Обложка Ekbal Rashid: Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities

Ekbal Rashid: Enhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities

Обложка Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Web Services: Concepts, Methodologies, Tools, and Applications

Обложка Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a …

Следущая страница >>>