Catalog > Naturwissenschaft > Allgemein > 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

Support

Cover von 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.78

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● ISBN 9783031712616 ● Herausgeber Diego Marmsoler & Meng Sun ● Verlag Springer Nature Switzerland ● Erscheinungsjahr 2024 ● herunterladbar 3 mal ● Währung EUR ● ID 9945628 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Diego Marmsoler Meng Sun

87.316 Ebooks in dieser Kategorie

Cover von Benedict S. B. (Hong Kong Baptist University, Hong Kong) Chan & Victor C. M. Chan: Whole Person Education in East Asian Universities

Benedict S. B. (Hong Kong Baptist University, Hong Kong) Chan & Victor C. M. Chan: Whole Person Education in East Asian Universities

This book provides much new thinking on the phenomenon of whole-person education, a phenomenon which features strongly in East Asian universities, and which aims to develop students intellectually, s …

Cover von Akhilesh Kumar & Swapnil Saurav: Supply Chain Management Strategies and Risk Assessment in Retail Environments

Akhilesh Kumar & Swapnil Saurav: Supply Chain Management Strategies and Risk Assessment in Retail Environments

Cover von Graham Squires: The Economics of Property and Planning

Graham Squires: The Economics of Property and Planning

This book introduces the interlocking disciplines of property and planning to economic theory and practice. Unlike any other available textbook, The Economics of Property and Planning skilfully intro …

Cover von Serah Shani: Indigenous Elites in Africa

Serah Shani: Indigenous Elites in Africa

This book investigates the formation, configuration and consolidation of elites amongst Kenya’s Maasai. The Maasai ethnic group is one of the world’s most anthropologized populations, but research te …

Cover von Anthony Orlando: Keeping Races in Their Places

Anthony Orlando: Keeping Races in Their Places

‚A book perfect for this moment‘ –Katherine M. O’Regan, Former Assistant Secretary, US Department of Housing and Urban Development More than fifty years after the passage of the Fair Housing Act, Ame …

Cover von Carol (University of Oxford, UK) Berger: The Child Soldiers of Africa''s Red Army

Carol (University of Oxford, UK) Berger: The Child Soldiers of Africa“s Red Army

This book examines the role of social process and routinised violence in the use of underaged soldiers in the country now known as South Sudan during the twenty-one-year civil war between Sudan’s nor …

Cover von Joan (Woodbury University, USA) Marques: Business With a Conscience

Joan (Woodbury University, USA) Marques: Business With a Conscience

Practicing business with a conscience leaves no sector untouched. It trickles into how we treat our employees; approach our work in general; address stakeholders; engage in accounting, financial, and …

Cover von Graeme P. (George C. Marshall European Center for Security Studies, Germany) Herd: Understanding Russian Strategic Behavior

Graeme P. (George C. Marshall European Center for Security Studies, Germany) Herd: Understanding Russian Strategic Behavior

This book examines the extent to which Russia’s strategic behavior is the product of its imperial strategic culture and Putin’s own operational code. The work argues that, by conflating personalistic …

Cover von Uwafiokun (York University, Canada) Idemudia & Tahiru Azaaviele Liedong: Business and Sustainable Development in Africa

Uwafiokun (York University, Canada) Idemudia & Tahiru Azaaviele Liedong: Business and Sustainable Development in Africa

The book offers new critical insights into the relationship between corporate social responsibility (CSR) and sustainable development in Africa. The extent to which CSR initiatives can contribute to …

Cover von Jinusha Panigrahi: Higher Education Financing in India

Jinusha Panigrahi: Higher Education Financing in India

This book critically examines the questions related to the access to and financing of higher education in India. The rapid expansion of knowledge economy in the neo-liberal era of globalisation has c …

nächste Seite >>>