Catalog > Ciencia > Informática > Software de aplicación > Alessandro Aldini: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops (ePUB)

Alessandro Aldini
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops [EPUB ebook]
CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Soporte

Portada de Alessandro Aldini: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops (ePUB)

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6-10, 2023The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (Open CERT 2023)

€45.06

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato EPUB ● ISBN 9783031660214 ● Editor Alessandro Aldini ● Editorial Springer Nature Switzerland ● Publicado 2024 ● Descargable 3 veces ● Divisa EUR ● ID 9584304 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Alessandro Aldini

16.941 Ebooks en esta categoría

Portada de Wayne Murphy: C++ Cookbook

Wayne Murphy: C++ Cookbook

C++ continues to remain relevant despite the advent of many new modern languages. This book dives into the significant features of C++20 ("big four") and C++23, addressing challenges and im …

Portada de Charles W. Kann: Creating Components

Charles W. Kann: Creating Components

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed proces …

Portada de Dan Aldred: Coding with the micro

Dan Aldred: Coding with the micro

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

Portada de Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

Brian Lipp & Shubhadeep Roychowdhury: The Data Wrangling Workshop

A beginner»s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

Explore data …

Portada de Mario Casciaro & Luciano Mammino: Node.js Design Patterns

Mario Casciaro & Luciano Mammino: Node.js Design Patterns

Learn proven patterns, techniques, and tricks to take full advantage of the Node.js platform. Master well-known design principles to create applications that are readable, extensible, and that can gr …

Portada de Donald K. Burleson: Oracle Internals

Donald K. Burleson: Oracle Internals

If you are a typical Oracle professional, you don»t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Orac …

Portada de Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Troubleshoot query performance issues, identify anti-patterns in code, and write efficient T-SQL queries Key Features

Discover T-SQL functionalities and services that help you interact with …

Portada de Gavin Powell: Database Modeling Step by Step

Gavin Powell: Database Modeling Step by Step

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …

Portada de Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Robert C Martin: Architecture logicielle propre, 1CU 36 Mois

Vous n’imaginez pas le temps qu’une architecture logicielle bien soignee des le depart peut vous faire gagner. Vous pouvez augmenter fortement la productivite du developpement tout au long du cycle d …

Portada de J. D. Glaser: Secure Development for Mobile Apps

J. D. Glaser: Secure Development for Mobile Apps

The world is becoming increasingly mobile. Smartphones and tablets have become more powerful and popular, with many of these devices now containing confidential business, financial, and personal info …

siguiente página >>>