Електронна книга > Наука > Генерал > 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

Підтримка

Обкладинка 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

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

Мова Англійська ● Формат EPUB ● ISBN 9783031712616 ● Редактор Diego Marmsoler & Meng Sun ● Видавець Springer Nature Switzerland ● Опубліковано 2024 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 9945628 ● Захист від копіювання Adobe DRM

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

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

Diego Marmsoler Meng Sun

87 603 Електронні книги в цій категорі

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка Oddbjørn (University of Oslo, Norway) Leirvik: Human Conscience and Muslim-Christian Relations

Oddbjørn (University of Oslo, Norway) Leirvik: Human Conscience and Muslim-Christian Relations

Human Conscience and Muslim-Christian Relations puts forward a discussion of how the notion of conscience may unite Muslim and Christians across religious divides, as well as examining the relation b …

Обкладинка Shirlena (National University of Singapore, Singapore) Huang & Peggy Teo: Gender Politics in the Asia-Pacific Region

Shirlena (National University of Singapore, Singapore) Huang & Peggy Teo: Gender Politics in the Asia-Pacific Region

Amidst the unevenness and unpredictability of change in the Asia-Pacific region, women”s lives are being transformed. This volume takes up the challenge of exploring the ways in which women are acti …

Обкладинка Philip (Northern Illinois University) Eubanks: The Troubled Rhetoric and Communication of Climate Change

Philip (Northern Illinois University) Eubanks: The Troubled Rhetoric and Communication of Climate Change

Despite an overwhelming scientific consensus, climate change remains one of the most controversial issues of our time. Focusing on the rhetoric that surrounds the issue of climate change, this ground …

Обкладинка M. Talha (Sabanci University, Turkey) Cicek: Syria in World War I

M. Talha (Sabanci University, Turkey) Cicek: Syria in World War I

The First World War quickly escalated from a European war into a global conflict that would cause fundamental changes in the Middle East, Africa, Asia and the Americas. Its end signalled the dissolut …