Catalog > Naturwissenschaft > Allgemein > Ming Chai & Bernd-Holger Schlingloff: Software Engineering and Formal Methods (ePUB)

Ming Chai & Bernd-Holger Schlingloff
Software Engineering and Formal Methods [EPUB ebook]
20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Support

Cover von Ming Chai & Bernd-Holger Schlingloff: Software Engineering and Formal Methods (ePUB)

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

€70.40

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format EPUB ● ISBN 9783031171086 ● Herausgeber Ming Chai & Bernd-Holger Schlingloff ● Verlag Springer International Publishing ● Erscheinungsjahr 2022 ● herunterladbar 3 mal ● Währung EUR ● ID 8679195 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Ming Chai Bernd-Holger Schlingloff

87.636 Ebooks in dieser Kategorie

Cover von Nicky Pouw: Wellbeing Economics

Nicky Pouw: Wellbeing Economics

Amidst rising global inequality, migration, climate change, health pandemics, and deepening poverty, it is time to redirect our economy towards more sustainable and socially just processes and outcom …

Cover von Andrew Fusek Peters: Butterfly Book

Andrew Fusek Peters: Butterfly Book

In this new book on native butterflies we look at the lifecycle of the butterfly alongside many other fascinating facts, all brought to life by the brilliant photography of Andrew Fusek Peters.With c …

Cover von Steven (Author) Falk: Field Guide to the Bees of Great Britain and Ireland

Steven (Author) Falk: Field Guide to the Bees of Great Britain and Ireland

Bees are a fascinating and indispensable group of insects, but many species are in decline, and efforts to help determine distributions and changes in abundance have to date been compromised by a ser …

Cover von Christer (Copenhagen Business School, Denmark) Karlsson: Research Methods for Operations and Supply Chain Management

Christer (Copenhagen Business School, Denmark) Karlsson: Research Methods for Operations and Supply Chain Management

Research Methods for Operations and Supply Chain Management, third edition, is a toolkit of research approaches primarily for advanced students and beginner researchers, but also a reference book for …

Cover von Yi Liu: The Central Government-Funded Teacher Education Policy in China

Yi Liu: The Central Government-Funded Teacher Education Policy in China

This book utilises expectancy–value theory and undermining effect of extrinsic reward theory to examine the impact of the Central Government-Funded Teacher Education (CGFTE) policy on Chinese pre-ser …

Cover von Manuela Melandri: Self-Determination, International Law and Post-Conflict Reconstruction

Manuela Melandri: Self-Determination, International Law and Post-Conflict Reconstruction

The right to self-determination has played a crucial role in the process of assisting oppressed people to put an end to colonial domination. Outside of the decolonization context, however, its releva …

Cover von Nicholas (Oxford Brookes University, UK) Walliman: Research Methods

Nicholas (Oxford Brookes University, UK) Walliman: Research Methods

Research Methods: The Basics is an accessible, user-friendly introduction to the different aspects of research theory, methods and practice. This third edition provides an expanded and fully updated …

Cover von Julius (Central European University, Hungary) Horvath: A History of Slovak Economic Thought

Julius (Central European University, Hungary) Horvath: A History of Slovak Economic Thought

Slovakia has a rich and complex history, but until now there has not been a comprehensive analysis of the nation’s economic thought. This volume expertly fills this gap and traces the development of …

Cover von Yahachi (Mie University) Saito: Nanostructured Carbon Electron Emitters and Their Applications

Yahachi (Mie University) Saito: Nanostructured Carbon Electron Emitters and Their Applications

Carbon forms a variety of allotropes due to the diverse hybridization of s- and p-electron orbitals, including the time-honored graphite and diamond as well as new forms such as C60 fullerene, nanotu …

Cover von Mary Le Rouge & Samuel Stinson: Embodied Environmental Risk in Technical Communication

Mary Le Rouge & Samuel Stinson: Embodied Environmental Risk in Technical Communication

This collection calls for improved technical communication for the public through an embodied, situated understanding of environmental risk that promotes social justice. In addition to providing a se …

nächste Seite >>>