电子书 > 科学 > 一般 > Carla Ferreira & Tim A. C. Willemse: Software Engineering and Formal Methods (ePUB)

Carla Ferreira & Tim A. C. Willemse
Software Engineering and Formal Methods [EPUB ebook]
21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

支持

的封面 Carla Ferreira & Tim A. C. Willemse: Software Engineering and Formal Methods (ePUB)

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

€70.46

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

语言英语 ● 格式 EPUB ● ISBN 9783031471155 ● 编辑 Carla Ferreira & Tim A. C. Willemse ● 出版者 Springer Nature Switzerland ● 发布时间 2023 ● 下载 3 时 ● 货币 EUR ● ID 9234525 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Carla Ferreira Tim A. C. Willemse

88,766 此类电子书

的封面 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 …

的封面 Nkechikwu (Nkechikwu Valerie Azinge-Egbiri is Senior Lecturer, University of Lincoln, UK) Azinge-Egbiri: Regulating and Combating Money Laundering and Terrorist Financing

Nkechikwu (Nkechikwu Valerie Azinge-Egbiri is Senior Lecturer, University of Lincoln, UK) Azinge-Egbiri: Regulating and Combating Money Laundering and Terrorist Financing

This book analytically reviews the impact of the global anti-money laundering and counter-terrorist financing (AML/CFT) framework on the compliance trajectory of a number of jurisdictions to this fra …

的封面 James H. Conrad & Thad Sitton: Freedom Colonies

James H. Conrad & Thad Sitton: Freedom Colonies

A history of independent African American settlements in Texas during the Jim Crow era, featuring historical and contemporary photographs. In the decades following the Civil War, nearly a quarter of …

的封面 Victor (Erasmus University of Rotterdam, NL) Bekkers & Rebecca (Erasmus University, Rotterdam, NL) Moody: Visual Culture and Public Policy

Victor (Erasmus University of Rotterdam, NL) Bekkers & Rebecca (Erasmus University, Rotterdam, NL) Moody: Visual Culture and Public Policy

Traditionally, images have played an important role in politics and policy making, mostly in relation to propaganda and public communication. However, contemporary society is inundated with visual ma …

的封面 April (Coventry University, UK; University of Queensland, Australia) Carter: Peace Movements: International Protest and World Politics Since 1945

April (Coventry University, UK; University of Queensland, Australia) Carter: Peace Movements: International Protest and World Politics Since 1945

There is a long tradition of opposition to war and organized peace campaigns date from 1815. Since 1945, however, modern weapons technology has threatened world wide destruction and has stimulated wi …

的封面 Andreas (University of Cambridge, UK) Kontoleon & Unai (Cambridge University) Pascual: Agrobiodiversity Conservation and Economic Development

Andreas (University of Cambridge, UK) Kontoleon & Unai (Cambridge University) Pascual: Agrobiodiversity Conservation and Economic Development

This book reflects current developments in the economics of agrobiodiversity and focuses its attention on the role agrobiodiversity can have for economic development. As a new and rapidly expanding s …

的封面 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 …

的封面 Christophe (Centre A. Koyre, France) Bonneuil & Francois Gemenne: The Anthropocene and the Global Environmental Crisis

Christophe (Centre A. Koyre, France) Bonneuil & Francois Gemenne: The Anthropocene and the Global Environmental Crisis

The Anthropocene, in which humankind has become a geological force, is a major scientific proposal; but it also means that the conceptions of the natural and social worlds on which sociology, politic …

的封面 Tommaso (University of Turin, Italy.) Bobbio: Urbanisation, Citizenship and Conflict in India

Tommaso (University of Turin, Italy.) Bobbio: Urbanisation, Citizenship and Conflict in India

Urbanisation is rapidly changing the geographic and social landscape of India, and indeed Asia as a whole. Issues of collective violence, urban poverty and discrimination become crucial factors in th …

的封面 Peter (School of Oriental and African Studies, University of London, UK) Flugel & Olle (Lund University, Sweden) Qvarnstrom: Jaina Scriptures and Philosophy

Peter (School of Oriental and African Studies, University of London, UK) Flugel & Olle (Lund University, Sweden) Qvarnstrom: Jaina Scriptures and Philosophy

Interest in Indian religion and comparative philosophy has increased in recent years, but despite this the study of Jaina philosophy is still in its infancy. This book looks at the role of philosophy …