Ebook > Ciência > Geral > Dang Van Hung & Oleg Sokolsky: Automated Technology for Verification and Analysis (ePUB)

Dang Van Hung & Oleg Sokolsky
Automated Technology for Verification and Analysis [EPUB ebook]
18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

Apoio

Capa do Dang Van Hung & Oleg Sokolsky: Automated Technology for Verification and Analysis (ePUB)

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.

€57.21

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

Língua Inglês ● Formato EPUB ● ISBN 9783030591526 ● Editor Dang Van Hung & Oleg Sokolsky ● Editora Springer International Publishing ● Publicado 2020 ● Carregável 3 vezes ● Moeda EUR ● ID 8032988 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Dang Van Hung Oleg Sokolsky

84.945 Ebooks nesta categoria

Capa do Pat Lauderdale & Pietro Toggia: Crisis and Terror in the Horn of Africa

Pat Lauderdale & Pietro Toggia: Crisis and Terror in the Horn of Africa

Contemporary social life in the Horn of Africa is generally a state-orchestrated experience that terrorizes the majority of the people. This collection of carefully selected essays, explores the …

Capa do Professor Christine Hall & Professor Pat Thomson: Place-Based Methods for Researching Schools

Professor Christine Hall & Professor Pat Thomson: Place-Based Methods for Researching Schools

Capa do Ulf (University of Leipzig, Germany) Engel & Elisio Macamo: Extractive Industries and Changing State Dynamics in Africa

Ulf (University of Leipzig, Germany) Engel & Elisio Macamo: Extractive Industries and Changing State Dynamics in Africa

This book uses extractive industry projects in Africa to explore how political authority and the nation-state are reconfigured at the intersection of national political contestations and global, tran …

Capa do Jessica Reyman & Erika Sparby: Digital Ethics

Jessica Reyman & Erika Sparby: Digital Ethics

Digital Ethics delves into the shifting legal and ethical landscape in digital spaces and explores productive approaches for theorizing, understanding, and navigating through difficult ethical issues …

Capa do Ardit Bido: The Albanian Orthodox Church

Ardit Bido: The Albanian Orthodox Church

Religion in Albania has had a complicated history, with Orthodoxy, Bektashi and Sunni Islam, Catholicism coexisting throughout much of the history of this Balkan nation. This book traces the rise of …

Capa do Michael W. (New York Institute of Technology, USA) Gamble & Teri Kwal (College of New Rochelle, USA) Gamble: The Gender Communication Connection

Michael W. (New York Institute of Technology, USA) Gamble & Teri Kwal (College of New Rochelle, USA) Gamble: The Gender Communication Connection

The third edition of this classic text helps readers consider the myriad ways gendered attitudes and practices influence communication in our personal and professional interactions. Written in an e …

Capa do John R. Bentley: The Birth of Japanese Historiography

John R. Bentley: The Birth of Japanese Historiography

As the first book in English on the origins of Japanese historiography, using both archaeological and textual data, this book examines the connection between ancient Japan and the Korean kingdom of P …

Capa do Serges Djoyou (University of South Africa) Kamga: Illicit Financial Flows from South Africa

Serges Djoyou (University of South Africa) Kamga: Illicit Financial Flows from South Africa

This book examines the detrimental impact of illicit financial flows on South Africa’s development, political economy, and transformation in the 21st century. Over the years, illicit financial flow …

Capa do Nicoletta Mandolini: Representations of Lethal Gender-Based Violence in Italy Between Journalism and Literature

Nicoletta Mandolini: Representations of Lethal Gender-Based Violence in Italy Between Journalism and Literature

This book discusses femicide in Italy, and the cultural conversations that have resulted from feminist discourse on lethal violence against women entering the mainstream, by analyzing journalistic in …

Capa do Christian (Beijing Normal University-Hong Kong Baptist University, United International College, China) Aspalter: Financing Welfare State Systems in Asia

Christian (Beijing Normal University-Hong Kong Baptist University, United International College, China) Aspalter: Financing Welfare State Systems in Asia

This book identifies the main causes of welfare state system extension, as well as the differences in welfare state system design and their consequences for human behavior and the future financial st …

Próxima página >>>