Catalog > Sciences > 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

Support

Cover of 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

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783031712616 ● Editor Diego Marmsoler & Meng Sun ● Publisher Springer Nature Switzerland ● Published 2024 ● Downloadable 3 times ● Currency EUR ● ID 9945628 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Diego Marmsoler Meng Sun

88,766 Ebooks in this category

Cover of Nuray (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Demirel & H. Sebnem (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Duzgun: Remote Sensing of the Mine Environment

Nuray (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Demirel & H. Sebnem (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Duzgun: Remote Sensing of the Mine Environment

A guide for students and professionals, this introductory course book covers the basic principles of remote sensing and its applications in mine environment monitoring. Building from a reader”s basi …

Cover of Md (Institute of South Asian Studies, National University of Singapore) Rahman & Tan Tai (Institute of South Asian Studies, National University of Singapore) Yong: International Migration and Development in South Asia

Md (Institute of South Asian Studies, National University of Singapore) Rahman & Tan Tai (Institute of South Asian Studies, National University of Singapore) Yong: International Migration and Development in South Asia

In migration studies, the nexus between migration and development in the global South has been meticulously debated. However, a unanimous resolution to this debate has not been found, due to the ever …

Cover of Serinity Young: Courtesans and Tantric Consorts

Serinity Young: Courtesans and Tantric Consorts

The wisest teachings of Buddhism say that, like all oppositions, one must move beyond gender. But as Serinity Young shows in this enlightening work, the rhetoric of Buddhist texts, the symbolism of i …

Cover of Ewan (Durham University, UK) Anderson: Middle East

Ewan (Durham University, UK) Anderson: Middle East

Middle East is a lively and much-needed update of a well-respected work. Based on W. B. Fisher”s book of the same name published in 1978, Anderson provides a comprehensive account of the physical ge …

Cover of Neil Caplan: Palestine Jewry and the Arab Question, 1917-1925

Neil Caplan: Palestine Jewry and the Arab Question, 1917-1925

This book, first published in 1978, examines the confrontation of the Jewish community of Palestine – the Yishuv – with its Arab question in the period immediately following World War 1, a period of …

Cover of Yu Wai Vic Li: China’s Financial Opening

Yu Wai Vic Li: China’s Financial Opening

The twenty-first century has not only seen China become one of the world’s largest trading nations, but also its gradual integration into the global financial system. Chinese-sponsored project financ …

Cover of Jess French: Minibeasts with Jess French

Jess French: Minibeasts with Jess French

Fancy meeting a foot-long centipede or a spider the size of your dinner plate? Willing to let the world”s weirdest and most fascinating minibeasts join you on your sofa? Then allow Jess French to le …

Cover of Justin Spinney: Understanding Urban Cycling

Justin Spinney: Understanding Urban Cycling

Academic interest in cycling has burgeoned in recent years with significant literature relating to the health and environmental benefits of cycling, the necessity for cycle-specific infrastructure, a …

Cover of Chandan Sinha: Kindling of an Insurrection

Chandan Sinha: Kindling of an Insurrection

The tribal areas of central and eastern India have been under the intractable shadow of left-wing extremism in recent years, fuelling a serious internal crisis in the country. While the clashes betwe …

Cover of Gregory Flynn & Hans Rattinger: The Public and Atlantic Defense

Gregory Flynn & Hans Rattinger: The Public and Atlantic Defense

This book, first published in 1985, analyses the polarization of popular opinion over NATO defence policies during the latter years of the Cold War. In many countries, the domestic consensus that onc …