电子书 > 科学 > 一般 > Loek Cleophas & Mieke Massink: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops (ePUB)

Loek Cleophas & Mieke Massink
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [EPUB ebook]
ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

支持

的封面 Loek Cleophas & Mieke Massink: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops (ePUB)

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops:ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development; CIFMA 2020: Second International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and Co Sim-CPS 2020: Fourth International Workshop on Formal Co-Simulation of Cyber-Physical Systems.Due to the Corona pandemic this event was held virtually.

€57.99

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

语言英语 ● 格式 EPUB ● ISBN 9783030672201 ● 编辑 Loek Cleophas & Mieke Massink ● 出版者 Springer International Publishing ● 发布时间 2021 ● 下载 3 时 ● 货币 EUR ● ID 8159766 ● 复制保护 Adobe DRM

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

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

Loek Cleophas Mieke Massink

88,601 此类电子书

的封面 Robin M. Frost: Nuclear Terrorism after 9/11

Robin M. Frost: Nuclear Terrorism after 9/11

The very mention of nuclear terrorism is enough to rouse strong reactions, and understandably so, because it combines the most terrifying weapons and the most threatening of people in a single phrase …

的封面 Haider Abbas: Immigration and Integration Policy in Europe

Haider Abbas: Immigration and Integration Policy in Europe

This book analyzes contemporary changes in immigration and integration policy in the wake of populism and rise of right-wing parties across the world. It examines how, in the face of substantial migr …

的封面 Michael (Indiana University, USA) Brose & Antonina (Jagiellonian University, Poland) Luszczykiewicz: Sinology during the Cold War

Michael (Indiana University, USA) Brose & Antonina (Jagiellonian University, Poland) Luszczykiewicz: Sinology during the Cold War

This volume provides the first study of the history of sinology (aka China studies) as charted across several communist states during the Cold War. The People’s Republic of China was created in the f …

的封面 Steve (skayizzimugerwa@gmail.com Undeliverable Oct20. Case 1688652) Kayizzi-Mugerwa & Charles (Statistics at the African Development Bank Group) Leyeka Lufumpa: Developmental State of Africa in Practice

Steve ([email protected] Undeliverable Oct20. Case 1688652) Kayizzi-Mugerwa & Charles (Statistics at the African Development Bank Group) Leyeka Lufumpa: Developmental State of Africa in Practice

This book is the product of research undertaken at the African Development Bank (Af DB) on the lessons that the continent of Africa can draw from the role of the state in Asia’s rapid economic develo …

的封面 Richard Cohen & Peter A. Wilson: Superpowers in Economic Decline

Richard Cohen & Peter A. Wilson: Superpowers in Economic Decline

This book, first published in 1990, evaluates what future policy adjustments the US will have to make in order to successfully navigate through a national security environment radically altered from …

的封面 Chua Beng Huat & Arndt Graf: Port Cities in Asia and Europe

Chua Beng Huat & Arndt Graf: Port Cities in Asia and Europe

With the demise of European socialist economies and the marketization of Asian communist countries, a new global capitalism has reshaped the configuration of the world economy, with speed a determini …

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

的封面 Karen Coelho & Lalitha Kamath: Participolis

Karen Coelho & Lalitha Kamath: Participolis

While participatory development has gained significance in urban planning and policy, it has been explored largely from the perspective of its prescriptive implementation. This book breaks new ground …

的封面 Aase J. Kvanneid: Perceptions of Climate Change from North India

Aase J. Kvanneid: Perceptions of Climate Change from North India

Perceptions of Climate Change from North India: An Ethnographic Account explores local perceptions of climate change through ethnographic encounters with the men and women who live at the front line …

的封面 Hakan (Swedish Defence University, Stockholm, Sweden) Edstrom & Jacob (Swedish Defence University, Stockholm, Sweden) Westberg: Military Strategy of Great Powers

Hakan (Swedish Defence University, Stockholm, Sweden) Edstrom & Jacob (Swedish Defence University, Stockholm, Sweden) Westberg: Military Strategy of Great Powers

This book explores the military strategies of the five system-determining great powers during the twenty-first century. The book’s point of departure is that analyses of countries’ defence strategies …