Catalog > Scienza > Generale > 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

Supporto

Copertina di 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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato EPUB ● ISBN 9783031712616 ● Editore Diego Marmsoler & Meng Sun ● Casa editrice Springer Nature Switzerland ● Pubblicato 2024 ● Scaricabile 3 volte ● Moneta EUR ● ID 9945628 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Diego Marmsoler Meng Sun

87.850 Ebook in questa categoria

Copertina di 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 di 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 di Stephen Andors: Workers and Workplaces in Revolutionary China

Stephen Andors: Workers and Workplaces in Revolutionary China

Workers and Workplaces in Revolutionary China collates documents detailing the conflict and politics of Chinese industrial development in the 1970s. Originally published in 1974, issues discussed in …

Copertina di John (Norwegian Institute of International Affairs, Norway) Karlsrud: Norm Change in International Relations

John (Norwegian Institute of International Affairs, Norway) Karlsrud: Norm Change in International Relations

In recent decades there have been several constructivist scholars who have looked at how norms change in international relations. However few have taken a closer look at the particular strategies tha …

Copertina di Tareq Ismael: The Sudanese Communist Party

Tareq Ismael: The Sudanese Communist Party

This book serves as a case study of the Sudanese Communist Party and its impact as a grassroots movement that championed the Sudanese people. It accomplishes this by providing a rich narrative that d …

Copertina di Yann (Yann Coello, University Charles-de-Gaulle Lille III, France) Coello & Martin H. (University of Potsdam, Germany) Fischer: Perceptual and Emotional Embodiment

Yann (Yann Coello, University Charles-de-Gaulle Lille III, France) Coello & Martin H. (University of Potsdam, Germany) Fischer: Perceptual and Emotional Embodiment

This two-volume set provides a comprehensive overview of the multidisciplinary field of Embodied Cognition. With contributions from internationally acknowledged researchers from a variety of fields, …

Copertina di G. Lowes Dickinson: War: Its Nature, Cause and Cure

G. Lowes Dickinson: War: Its Nature, Cause and Cure

First published in 1923, this book examines the causes and evils of War. Being published soon after the First World War, this becomes the basis for much of the volume”s experience. The author G. Low …

Copertina di Amir Ali: South Asian Islam and British Multiculturalism

Amir Ali: South Asian Islam and British Multiculturalism

This book analyses South Asian Islam’s engagement with the West, and Britain in particular. It traces the roots of British multiculturalism to South Asia and the Deobandi school of Islam. The work sh …

Copertina di Ramesh Bairy: Being Brahmin, Being Modern

Ramesh Bairy: Being Brahmin, Being Modern

There is clearly an academic and political obsession with the ‘idea’ of the Brahmin. There is also, simultaneously, a near-complete absence of engagement with the Brahmin as an embodied person or com …

Copertina di Bulent Aras: The New Geopolitics of Eurasia and Turkey''s Position

Bulent Aras: The New Geopolitics of Eurasia and Turkey”s Position

This work explores the geopolitical struggles that are currently underway in the newly independent states of the Caucasus region, showing how many players in the region are coalescing into two opposi …

Pagina successiva >>>