Catalog > Sains > Umum > 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

Sokongan

perlindungan daripada 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

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format EPUB ● ISBN 9783031171086 ● Penyunting Ming Chai & Bernd-Holger Schlingloff ● Penerbit Springer International Publishing ● Diterbitkan 2022 ● Muat turun 3 kali ● Mata wang EUR ● ID 8679195 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Ming Chai Bernd-Holger Schlingloff

88,766 Ebooks dalam kategori ini

perlindungan daripada Nuray (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Demirel & H. Sebnem (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Duzgun: Remote Sensing of the Mine Environment

Nuray (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Demirel & H. Sebnem (Department of Mining Engineering, Middle East Technical University, Ankara, Turkey) Duzgun: Remote Sensing of the Mine Environment

A guide for students and professionals, this introductory course book covers the basic principles of remote sensing and its applications in mine environment monitoring. Building from a reader”s basi …

perlindungan daripada Md (Institute of South Asian Studies, National University of Singapore) Rahman & Tan Tai (Institute of South Asian Studies, National University of Singapore) Yong: International Migration and Development in South Asia

Md (Institute of South Asian Studies, National University of Singapore) Rahman & Tan Tai (Institute of South Asian Studies, National University of Singapore) Yong: International Migration and Development in South Asia

In migration studies, the nexus between migration and development in the global South has been meticulously debated. However, a unanimous resolution to this debate has not been found, due to the ever …

perlindungan daripada Serinity Young: Courtesans and Tantric Consorts

Serinity Young: Courtesans and Tantric Consorts

The wisest teachings of Buddhism say that, like all oppositions, one must move beyond gender. But as Serinity Young shows in this enlightening work, the rhetoric of Buddhist texts, the symbolism of i …

perlindungan daripada Ewan (Durham University, UK) Anderson: Middle East

Ewan (Durham University, UK) Anderson: Middle East

Middle East is a lively and much-needed update of a well-respected work. Based on W. B. Fisher”s book of the same name published in 1978, Anderson provides a comprehensive account of the physical ge …

perlindungan daripada Ben Pitcher: Consuming Race

Ben Pitcher: Consuming Race

From the rise of Nordic noir to a taste for street food, from practices of natural gardening to the aesthetics of children”s TV, contemporary culture is saturated with racial meanings. By consuming …

perlindungan daripada Neil Caplan: Palestine Jewry and the Arab Question, 1917-1925

Neil Caplan: Palestine Jewry and the Arab Question, 1917-1925

This book, first published in 1978, examines the confrontation of the Jewish community of Palestine – the Yishuv – with its Arab question in the period immediately following World War 1, a period of …

perlindungan daripada Yu Wai Vic Li: China’s Financial Opening

Yu Wai Vic Li: China’s Financial Opening

The twenty-first century has not only seen China become one of the world’s largest trading nations, but also its gradual integration into the global financial system. Chinese-sponsored project financ …

perlindungan daripada Jess French: Minibeasts with Jess French

Jess French: Minibeasts with Jess French

Fancy meeting a foot-long centipede or a spider the size of your dinner plate? Willing to let the world”s weirdest and most fascinating minibeasts join you on your sofa? Then allow Jess French to le …

perlindungan daripada M. S. Daoudi: Economic Diplomacy

M. S. Daoudi: Economic Diplomacy

The 1983 collapse of world oil prices revived memories of a time only a decade earlier when the price of a barrel of oil did not exceed three dollars. By the late 1970s, spot market prices had reache …

perlindungan daripada 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 …

Muka surat seterusnya >>>