Електронна книга > Наука > Генерал > 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

Підтримка

Обкладинка 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

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат EPUB ● ISBN 9783030591526 ● Редактор Dang Van Hung & Oleg Sokolsky ● Видавець Springer International Publishing ● Опубліковано 2020 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 8032988 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Dang Van Hung Oleg Sokolsky

84 945 Електронні книги в цій категорі

Обкладинка 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 …

Обкладинка Professor Christine Hall & Professor Pat Thomson: Place-Based Methods for Researching Schools

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

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Наступна сторінка >>>