电子书 > 科学 > 一般 > 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

购买此电子书可免费获赠一本！

语言英语 ● 格式 EPUB ● ISBN 9783031712616 ● 编辑 Diego Marmsoler & Meng Sun ● 出版者 Springer Nature Switzerland ● 发布时间 2024 ● 下载 3 时 ● 货币 EUR ● ID 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 …

的封面 M. A. Cook: Studies in the Economic History of the Middle East

M. A. Cook: Studies in the Economic History of the Middle East

First Published in 2004. Did medieval Muslims have the concept of a ”social class”? If not, can we usefully employ the term in analysing their society? Were there such things as guilds in the medie …

的封面 Philipp Pattberg & Fariborz Zelli: Environmental Politics and Governance in the Anthropocene

Philipp Pattberg & Fariborz Zelli: Environmental Politics and Governance in the Anthropocene

The term Anthropocene denotes a new geological epoch characterized by the unprecedented impact of human activities on the Earth’s ecosystems. While the natural sciences have advanced their understand …

的封面 Hugh (SOAS, UK) Kennedy: The Early Abbasid Caliphate

Hugh (SOAS, UK) Kennedy: The Early Abbasid Caliphate

The early Abbasid Caliphate was an important period for Islam. The dynasty, based in Baghdad, ruled over a vast Empire, stretching from the Indus Valley and Southern Russia to the East to Tunisia in …

的封面 Mr Paul Randolph: The Psychology of Conflict

Mr Paul Randolph: The Psychology of Conflict

Paul Randolph applies philosophy and psychology to the practice of mediating between people in conflict. This practical guide, with a foreword by Nobel Laureate Archbishop Desmond Tutu, will assist t …