Catalog > Ciencia > General > 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

Soporte

Portada de 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

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato EPUB ● ISBN 9783031171086 ● Editor Ming Chai & Bernd-Holger Schlingloff ● Editorial Springer International Publishing ● Publicado 2022 ● Descargable 3 veces ● Divisa EUR ● ID 8679195 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Ming Chai Bernd-Holger Schlingloff

87.636 Ebooks en esta categoría

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

siguiente página >>>