Catalog > Ciência > Geral > 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

Apoio

Capa do 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

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato EPUB ● ISBN 9783031471155 ● Editor Carla Ferreira & Tim A. C. Willemse ● Editora Springer Nature Switzerland ● Publicado 2023 ● Carregável 3 vezes ● Moeda EUR ● ID 9234525 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Carla Ferreira Tim A. C. Willemse

88.766 Ebooks nesta categoria

Capa do 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 …

Capa do Nkechikwu (Nkechikwu Valerie Azinge-Egbiri is Senior Lecturer, University of Lincoln, UK) Azinge-Egbiri: Regulating and Combating Money Laundering and Terrorist Financing

Nkechikwu (Nkechikwu Valerie Azinge-Egbiri is Senior Lecturer, University of Lincoln, UK) Azinge-Egbiri: Regulating and Combating Money Laundering and Terrorist Financing

This book analytically reviews the impact of the global anti-money laundering and counter-terrorist financing (AML/CFT) framework on the compliance trajectory of a number of jurisdictions to this fra …

Capa do James H. Conrad & Thad Sitton: Freedom Colonies

James H. Conrad & Thad Sitton: Freedom Colonies

A history of independent African American settlements in Texas during the Jim Crow era, featuring historical and contemporary photographs. In the decades following the Civil War, nearly a quarter of …

Capa do Victor (Erasmus University of Rotterdam, NL) Bekkers & Rebecca (Erasmus University, Rotterdam, NL) Moody: Visual Culture and Public Policy

Victor (Erasmus University of Rotterdam, NL) Bekkers & Rebecca (Erasmus University, Rotterdam, NL) Moody: Visual Culture and Public Policy

Traditionally, images have played an important role in politics and policy making, mostly in relation to propaganda and public communication. However, contemporary society is inundated with visual ma …

Capa do April (Coventry University, UK; University of Queensland, Australia) Carter: Peace Movements: International Protest and World Politics Since 1945

April (Coventry University, UK; University of Queensland, Australia) Carter: Peace Movements: International Protest and World Politics Since 1945

There is a long tradition of opposition to war and organized peace campaigns date from 1815. Since 1945, however, modern weapons technology has threatened world wide destruction and has stimulated wi …

Capa do Andreas (University of Cambridge, UK) Kontoleon & Unai (Cambridge University) Pascual: Agrobiodiversity Conservation and Economic Development

Andreas (University of Cambridge, UK) Kontoleon & Unai (Cambridge University) Pascual: Agrobiodiversity Conservation and Economic Development

This book reflects current developments in the economics of agrobiodiversity and focuses its attention on the role agrobiodiversity can have for economic development. As a new and rapidly expanding s …

Capa do 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 …

Capa do Christophe (Centre A. Koyre, France) Bonneuil & Francois Gemenne: The Anthropocene and the Global Environmental Crisis

Christophe (Centre A. Koyre, France) Bonneuil & Francois Gemenne: The Anthropocene and the Global Environmental Crisis

The Anthropocene, in which humankind has become a geological force, is a major scientific proposal; but it also means that the conceptions of the natural and social worlds on which sociology, politic …

Capa do Richard A. Bauman: Women and Politics in Ancient Rome

Richard A. Bauman: Women and Politics in Ancient Rome

First published in 1994. The study of women in the societies of antiquity has assumed a fresh significance in recent years. This book delineates not only the influential and manipulative role of Roma …

Capa do Michael Redclift: Sustainable Development

Michael Redclift: Sustainable Development

Argues that environmental problems need to be looked at internationally, in terms of the global economic system, and that the degradation of the environment is not natural”, but an historical proces …

Próxima página >>>