Catalog > Wetenschappen > Algemeen > 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

Ondersteuning

Hoes van 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

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat EPUB ● ISBN 9783031171086 ● Editor Ming Chai & Bernd-Holger Schlingloff ● Uitgeverij Springer International Publishing ● Gepubliceerd 2022 ● Downloadbare 3 keer ● Valuta EUR ● ID 8679195 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Ming Chai Bernd-Holger Schlingloff

87.368 E-boeken in deze categorie

Hoes van Nicholas S. Hopkins: Agrarian Transformation In Egypt

Nicholas S. Hopkins: Agrarian Transformation In Egypt

This book reflects the argument on agrarian transformation in Egypt. It focuses on the role of agricultural mechanization in the labor process in rural Egypt. The book emphasizes the changing role of …

Hoes van John Borrego: Capital, The State, And Late Industrialization

John Borrego: Capital, The State, And Late Industrialization

This book explores the foundation and nature of the relationship between capitalist accumulation and the state in East Asia and Latin America that has profoundly influenced industrialization and macr …

Hoes van Muhammad Sayadur (Associate Professor, Department of Public Administration at Jahangirnagar University, Savar, Dhaka, Bangladesh) Rahman: Politics, Governance and Development in Bangladesh

Muhammad Sayadur (Associate Professor, Department of Public Administration at Jahangirnagar University, Savar, Dhaka, Bangladesh) Rahman: Politics, Governance and Development in Bangladesh

This book explores the relationship between bureaucrats and elected politicians in Bangladesh and discusses how this impacts governance and development in the country from an empirical perspective. I …

Hoes van Marte (Norwegian Centre for Conflict Resolution, Norway) Heian-Engdal: Palestinian Refugees after 1948

Marte (Norwegian Centre for Conflict Resolution, Norway) Heian-Engdal: Palestinian Refugees after 1948

After more than seventy years, the Palestinian refugee problem remains unsolved. But if a deal could have been reached involving the repatriation of Palestinian refugees, it was in the early years of …

Hoes van Michal Pilc & Beata Wozniak-Jechorek: Labour Market Institutions and Productivity

Michal Pilc & Beata Wozniak-Jechorek: Labour Market Institutions and Productivity

This book explains the role of formal labour market institutions in keeping the labour utilisation in Central and Eastern Europe above the level characteristic for Western European states. It provide …

Hoes van Lukasz Mamica: Outsourcing in European Emerging Economies

Lukasz Mamica: Outsourcing in European Emerging Economies

Drawing on a range of European cases, this edited volume analyses the offshoring and outsourcing of foreign companies, with a focus on territorial embeddedness. The book opens by developing a theoret …

Hoes van Cecilia (Universita Cattolica del Sacro Cuore, Italy) Manzo & Francesco (University of Turin, Italy) Ramella: The Economy of Collaboration

Cecilia (Universita Cattolica del Sacro Cuore, Italy) Manzo & Francesco (University of Turin, Italy) Ramella: The Economy of Collaboration

Over the past few decades, the world economy has undergone radical transformations, in part connected to the expansion of the ‘digital economy’, in part to the growing interconnection via the interne …

Hoes van William Bennett & Rick (Hazard Consultant, Saint Johns, Michigan, USA) Houghton: Emergency Characterization of Unknown Materials

William Bennett & Rick (Hazard Consultant, Saint Johns, Michigan, USA) Houghton: Emergency Characterization of Unknown Materials

Emergency Characterization of Unknown Materials, Second Edition is fully updated to serve as a portable reference that can be used in the field and laboratory by workers who are responsible for a saf …

Hoes van Lisa Broidy & Lorine Hughes: Social Bridges and Contexts in Criminology and Sociology

Lisa Broidy & Lorine Hughes: Social Bridges and Contexts in Criminology and Sociology

Social Bridges and Contexts in Criminology and Sociology brings together leading scholars to commemorate the illustrious career and enduring contributions of Professor James F. Short, Jr., to the soc …

Hoes van Thomas A (THE UNIVERSITY OF NORTHERN IOWa, USA) Hockey: Galileo''s Planet

Thomas A (THE UNIVERSITY OF NORTHERN IOWa, USA) Hockey: Galileo”s Planet

Since the earliest times one of the brightest lights in the heavens has been that of Jupiter, mythical king of the gods and the largest planet in the solar system. It was only natural that peoples fr …

Volgende pagina >>>