Catalog > Ciencia > General > Diego Marmsoler & Meng Sun: Formal Aspects of Component Software (ePUB)

Diego Marmsoler & Meng Sun
Formal Aspects of Component Software [EPUB ebook]
20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Soporte

Portada de Diego Marmsoler & Meng Sun: Formal Aspects of Component Software (ePUB)

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

€57.71

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

Idioma Inglés ● Formato EPUB ● ISBN 9783031712616 ● Editor Diego Marmsoler & Meng Sun ● Editorial Springer Nature Switzerland ● Publicado 2024 ● Descargable 3 veces ● Divisa EUR ● ID 9945628 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Diego Marmsoler Meng Sun

87.603 Ebooks en esta categoría

Portada de Nicky Pouw: Wellbeing Economics

Nicky Pouw: Wellbeing Economics

Amidst rising global inequality, migration, climate change, health pandemics, and deepening poverty, it is time to redirect our economy towards more sustainable and socially just processes and outcom …

Portada de Majia (Arizona State University, USA) Nadesan & Amit (Arizona State University, USA) Ron: Mapping Populism

Majia (Arizona State University, USA) Nadesan & Amit (Arizona State University, USA) Ron: Mapping Populism

This collection, which can serve as an introduction to the field of populism, provides an array of interdisciplinary approaches to populist mobilizations, theories, meanings, and effects. In so doing …

Portada de Sarah (University of Gent, Belgium) Adeyinka & Ilse (University of Gent, Belgium) Derluyn: Nigerian and Ghanaian Women Working in the Brussels Red-Light District

Sarah (University of Gent, Belgium) Adeyinka & Ilse (University of Gent, Belgium) Derluyn: Nigerian and Ghanaian Women Working in the Brussels Red-Light District

This book unravels the lives, needs and experiences of Nigerian and Ghanaian women working in prostitution in Brussels. This volume casts a light on the working conditions and the experiences of 38 w …

Portada de Etsuko Kinefuchi: Competing Discourses on Japan’s Nuclear Power

Etsuko Kinefuchi: Competing Discourses on Japan’s Nuclear Power

This book examines the discursive formation of nuclear power in Japan to provide insights into the ways this technology has been both promoted and resisted, constituting and being constituted by Japa …

Portada de Daniel Chandler: Semiotics: The Basics

Daniel Chandler: Semiotics: The Basics

This fourth edition of the bestselling textbook, now available in print, e Book, and audiobook, has been fully updated, continuing to provide a concise introduction to the key concepts of semiotics i …

Portada de Delia Grace & Kristina Roesel: Food Safety and Informal Markets

Delia Grace & Kristina Roesel: Food Safety and Informal Markets

Animal products are vital components of the diets and livelihoods of people across sub-Saharan Africa. They are frequently traded in local, unregulated markets and this can pose significant health ri …

Portada de Indrajit (Institute for Social and Economic Change, India) Bairagya: Liberalization and Economic Performance of the Informal Sector

Indrajit (Institute for Social and Economic Change, India) Bairagya: Liberalization and Economic Performance of the Informal Sector

Impact of liberalization on informality has been a subject of intense debate for many years and the major issue that has come up is whether liberalization helps to grow informal sector and informalit …

Portada de Francesca (University of Bologna, Italy) Fauri: The History of Migration in Europe

Francesca (University of Bologna, Italy) Fauri: The History of Migration in Europe

The History of Migration in Europe belies several myths by arguing, for example, that immobility has not been the ‘normal’ condition of people before the modern era. Migration (far from being an inco …

Portada de Marta (St. Gallen University, Switzerland) Dominguez Diaz: Women in Sufism

Marta (St. Gallen University, Switzerland) Dominguez Diaz: Women in Sufism

Exploring the diverse myriad of female religious identities that exist within the various branches of the Moroccan Sufi Order, Qādiriyya Būdshīshiyya, today, this book evidences a wide array of relig …