Sách điện tử > Khoa học > Chung > 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

Ủng hộ

Bìa của 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

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783031171086 ● Biên tập viên Ming Chai & Bernd-Holger Schlingloff ● Nhà xuất bản Springer International Publishing ● Được phát hành 2022 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 8679195 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Ming Chai Bernd-Holger Schlingloff

87.636 Ebooks trong thể loại này

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Bìa của 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 …

Trang tiếp theo >>>