Catalog > Scienza > Generale > Carla Ferreira & Tim A. C. Willemse: Software Engineering and Formal Methods (ePUB)

Carla Ferreira & Tim A. C. Willemse
Software Engineering and Formal Methods [EPUB ebook]
21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Supporto

Copertina di Carla Ferreira & Tim A. C. Willemse: Software Engineering and Formal Methods (ePUB)

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

€70.46

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato EPUB ● ISBN 9783031471155 ● Editore Carla Ferreira & Tim A. C. Willemse ● Casa editrice Springer Nature Switzerland ● Pubblicato 2023 ● Scaricabile 3 volte ● Moneta EUR ● ID 9234525 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Carla Ferreira Tim A. C. Willemse

87.368 Ebook in questa categoria

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

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

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

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

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

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

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

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

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

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

Pagina successiva >>>