Catalog > Scienza > Generale > 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

Supporto

Copertina di 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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato EPUB ● ISBN 9783031171086 ● Editore Ming Chai & Bernd-Holger Schlingloff ● Casa editrice Springer International Publishing ● Pubblicato 2022 ● Scaricabile 3 volte ● Moneta EUR ● ID 8679195 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Ming Chai Bernd-Holger Schlingloff

90.365 Ebook in questa categoria

Copertina di Klement Podnar: Corporate Communication

Klement Podnar: Corporate Communication

Corporate Communication: A Marketing Viewpoint offers an overview of the framework, key concepts, strategies and techniques from a unique marketing perspective. While other textbooks are limited to a …

Copertina di Erica Weintraub (Washington State University) Austin & Bruce E. (Washington State University) Pinkleton: Strategic Public Relations Management

Erica Weintraub (Washington State University) Austin & Bruce E. (Washington State University) Pinkleton: Strategic Public Relations Management

Strategic Public Relations Management features an applied approach to evidence-based, strategic public relations management. It emphasizes understanding audiences through research and demonstrates su …

Copertina di Chong-en Bai & Qiong Zhang: A Research on China’s Economic Growth Potential

Chong-en Bai & Qiong Zhang: A Research on China’s Economic Growth Potential

After impressive growth of about 10% per annum for three decades, China”s visible signs of economic slowdown since 2008 have been subject to much contention. What causes the deceleration? What shoul …

Copertina di Thomas E. (University of Alabama, USA) Harris & Mark D. (University of Alabama, USA) Nelson: Applied Organizational Communication

Thomas E. (University of Alabama, USA) Harris & Mark D. (University of Alabama, USA) Nelson: Applied Organizational Communication

The fourth edition of Applied Organizational Communication provides a current, in-depth analysis of the theories and practices critical to understanding organizational communication concepts in a glo …

Copertina di Michael J. Butler: Securitization Revisited

Michael J. Butler: Securitization Revisited

This book seeks to interrogate how contemporary policy issues become ‘securitized’ and, furthermore, what the implications of this process are. A generation after the introduction of the concept of s …

Copertina di Youyenn (Nanyang Technological University, Singapore) Teo: Neoliberal Morality in Singapore

Youyenn (Nanyang Technological University, Singapore) Teo: Neoliberal Morality in Singapore

Using the case study of Singapore, this book examines the production of a set of institutionalized relationships and ethical meanings that link citizens to each other and the state. It looks at how q …

Copertina di Mohammad Amad: Agriculture, Poverty and Reform in Iran (RLE Iran D)

Mohammad Amad: Agriculture, Poverty and Reform in Iran (RLE Iran D)

As in many developing countries, the prospects for land reform in Iran seemed promising. It was expected to improve rural poverty and stimulate agricultural development by replacing the traditional l …

Copertina di Barbara Barnouin & Yu Changgen: Ten Years Of Turbulence

Barbara Barnouin & Yu Changgen: Ten Years Of Turbulence

First published in 1993. The Cultural Revolution (CR) was undoubtedly one of the most tumultuous and dramatic periods of China”s modern history. It was marked by violence, factionalism and economic …

Copertina di Salim Kemal: The Philosophical Poetics of Alfarabi, Avicenna and Averroes

Salim Kemal: The Philosophical Poetics of Alfarabi, Avicenna and Averroes

This book examines the studies of Aristotle”s Poetics and its related texts in which three Medieval philosophers – Alfarabi, Avicenna and Averroes – proposed a conception of poetic validity (beauty) …

Copertina di Ali Mohammidi: Iran Encountering Globalization

Ali Mohammidi: Iran Encountering Globalization

With new material and up-to-date information, this book examines the current state of Iran, exploring a wide range of areas including the economy, finance, politics, the media, and the position of wo …

Pagina successiva >>>