Catalog > Științe > 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

Ajutor

Copertina 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

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format EPUB ● ISBN 9783031712616 ● Editor Diego Marmsoler & Meng Sun ● Editura Springer Nature Switzerland ● Publicat 2024 ● Descărcabil 3 ori ● Valută EUR ● ID 9945628 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Diego Marmsoler Meng Sun

87.850 Ebooks din această categorie

Copertina de David S.G. Goodman & Gerald Segal: China Deconstructs

David S.G. Goodman & Gerald Segal: China Deconstructs

China has experienced the world”s fastest economic growth for over a decade. It is likely that within a generation, China will have the world”s largest economy. Yet, at the moment when China looks …

Copertina de Jos Delbeke & Peter Vis: EU Climate Policy Explained

Jos Delbeke & Peter Vis: EU Climate Policy Explained

The EU has been the region of the world where the most climate policies have been implemented, and where practical policy experimentation in the field of the environment and climate change has been t …

Copertina de Nicole Amare & Alan Manning: A Unified Theory of Information Design

Nicole Amare & Alan Manning: A Unified Theory of Information Design

Communicative visuals, including written text, have a diverse range of forms and purposes. In this volume, the authors show that it is possible to both describe and explain the major properties of di …

Copertina de Wen-jie Wu: Economics of Planning Policies in China

Wen-jie Wu: Economics of Planning Policies in China

Fast urbanizing countries like China have experienced rapid – albeit geographically uneven – local and regional economic growth during the past few decades. Notwithstanding this development pattern, …

Copertina de Sumner (University of Hawaii, USA) La Croix & Peter A. Petri: Challenges to the Global Trading System

Sumner (University of Hawaii, USA) La Croix & Peter A. Petri: Challenges to the Global Trading System

International trade continues to expand robustly in East Asia and elsewhere, but global trade negotiations have collapsed and globalization is widely criticized. In this book, the participants of the …

Copertina de Fredrik Sjoholm & Jose Tongzon: Institutional Change in Southeast Asia

Fredrik Sjoholm & Jose Tongzon: Institutional Change in Southeast Asia

Includes a comprehensive analysis of different countries in the region Contributors include experts from the region and Europe The Asian economic crisis and its aftermath is a huge area of study, so …

Copertina de Lee Chin-Chuan: Chinese Media, Global Contexts

Lee Chin-Chuan: Chinese Media, Global Contexts

Virtually every major media, information and telecommunications enterprise in the world is significantly tied to China. This volume provides the most expert, up-to-date and multidisciplinary analyses …

Copertina de Lucy Sargisson: Contemporary Feminist Utopianism

Lucy Sargisson: Contemporary Feminist Utopianism

A new and challenging entry into the debates between feminism and postmodernism, Contemporary Feminist Utopianism challenges some basic preconceptions about the role of political theory today. Sargis …

Copertina de Francis Deng: Customary Law in the Modern World

Francis Deng: Customary Law in the Modern World

Customary Law in the Modern World is the study of a coherent and well-established legal system, which is now operating in the context of a modern nation-state and therefore poised between remaining r …

Copertina de Liora Lukitz: Iraq

Liora Lukitz: Iraq

The 1990-1991 crisis in the Middle East and the disturbances that followed, threw the deep-seated divisions within the Iraqi population into focus. This book examines the complexities of the internal …

Pagina următoare >>>