Catalog > Science > Général > 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

Couverture du 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

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format EPUB ● ISBN 9783031171086 ● Éditeur Ming Chai & Bernd-Holger Schlingloff ● Maison d’édition Springer International Publishing ● Publié 2022 ● Téléchargeable 3 fois ● Devise EUR ● ID 8679195 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Ming Chai Bernd-Holger Schlingloff

88 766 Ebooks dans cette catégorie

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du 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 …

Couverture du Daniel Zimmermann: Lives of Significant Scientists

Daniel Zimmermann: Lives of Significant Scientists

Page suivante >>>