Ebook > Sciences > General > 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

Support

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

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783031471155 ● Editor Carla Ferreira & Tim A. C. Willemse ● Publisher Springer Nature Switzerland ● Published 2023 ● Downloadable 3 times ● Currency EUR ● ID 9234525 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Carla Ferreira Tim A. C. Willemse

87,176 Ebooks in this category

Cover of Mohd Mizan (University Malaysia Perlis (UniMAP), Malaysia) Aslam & Rohan (S. Rajaratnam School of International Studies (RSIS), Singapore) Gunaratna: Terrorist Rehabilitation and Community Engagement in Malaysia and Southeast Asia

Mohd Mizan (University Malaysia Perlis (UniMAP), Malaysia) Aslam & Rohan (S. Rajaratnam School of International Studies (RSIS), Singapore) Gunaratna: Terrorist Rehabilitation and Community Engagement in Malaysia and Southeast Asia

The contributors to this book analyse the different approaches and modes of terrorist rehabilitation that have been attempted by Malaysia, and other countries in Southeast Asia. With an emphasis on …

Cover of Philip (Northern Illinois University, USA) Eubanks: The Troubled Rhetoric and Communication of Climate Change

Philip (Northern Illinois University, USA) Eubanks: The Troubled Rhetoric and Communication of Climate Change

Despite an overwhelming scientific consensus, climate change remains one of the most controversial issues of our time. Focusing on the rhetoric that surrounds the issue of climate change, this ground …

Cover of Charles Edquist: Systems of Innovation

Charles Edquist: Systems of Innovation

The systems of innovation approach is considered by many to be a useful analytical approach for better understanding innovation processes as well as the production and distribution of knowledge in …

Cover of J. N. Dixit: India-Pakistan in War and Peace

J. N. Dixit: India-Pakistan in War and Peace

As the Kashmir dispute brings India and Pakistan ominously close to nuclear war this book provides a compelling account of the history and politics of these two great South Asian rivals. Like the …

Cover of Tony Killick: IMF Programmes in Developing Countries

Tony Killick: IMF Programmes in Developing Countries

The International Monetary Fund is the centre of a global financial system that encourages budgetary discipline and full integration into world trade to facilitate development and alleviate poverty. …

Cover of Julian Barr: Tertullian and the Unborn Child

Julian Barr: Tertullian and the Unborn Child

Tertullian of Carthage was the earliest Christian writer to argue against abortion at length, and the first surviving Latin author to consider the unborn child in detail. This book is the first compr …

Cover of Klaus (University of North Carolina at Chapel Hill, USA) Larres & Ruth (University of Durham, UK) Wittlinger: Understanding Global Politics

Klaus (University of North Carolina at Chapel Hill, USA) Larres & Ruth (University of Durham, UK) Wittlinger: Understanding Global Politics

Contemporary international affairs are largely shaped by widely differing thematic issues and actors, such as nation states, international institutions, NGOs and multinational companies. Obtaini …

Cover of R. Andrew Shalliker: Hyphenated and Alternative Methods of Detection in Chromatography

R. Andrew Shalliker: Hyphenated and Alternative Methods of Detection in Chromatography

Widely employed for separating and detecting chemicals in solution, separation techniques are most often applied in tandem, subsequently referred to as hyphenated methods. Hyphenated and Alternative …

Cover of Charitra (REVA University, Bangalore) H G & Umashankar (Manipal Academy of BFSI, Bangalore) K: Behavioural Dynamics at the Workplace

Charitra (REVA University, Bangalore) H G & Umashankar (Manipal Academy of BFSI, Bangalore) K: Behavioural Dynamics at the Workplace

This book offers strategies and effective ways for professional improvement in the workplace. It focuses on behavioural dynamics in a work environment, and offers perspectives on self-assessment, cri …

Cover of Maty (United Nations University (UNU-MERIT), Netherlands) Konte & Linguere Mously (African Development Bank, Cote d’Ivoire) Mbaye: Migration, Remittances, and Sustainable Development in Africa

Maty (United Nations University (UNU-MERIT), Netherlands) Konte & Linguere Mously (African Development Bank, Cote d’Ivoire) Mbaye: Migration, Remittances, and Sustainable Development in Africa

This book provides a strong multidisciplinary examination of the links between migration, remittances and sustainable development in Africa. It makes evidence-based policy recommendations on migratio …