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

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

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

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

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

Dang Van Hung Oleg Sokolsky

87 612 Електронні книги в цій категорі

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

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

Обкладинка Florence Kennedy Rolland: The Persuasive Negotiator

Florence Kennedy Rolland: The Persuasive Negotiator

Negotiation permeates every aspect of our lives, from our home to our work. Whether you consider yourself a novice or expert, there is always room to improve your negotiation performance. With easily …

Обкладинка Jonathan Glennie: The Future of Aid

Jonathan Glennie: The Future of Aid

International cooperation has never been more needed, but the current system of “aid” is outdated and ineffective. The Future of Aid calls for a wholesale restructuring of the aid project, a totally …

Обкладинка Alice Hills: Border Security in the Balkans

Alice Hills: Border Security in the Balkans

Borders dominate the security agenda in South-east Europe. Political and ethnic discontents focus on disputed borders, while traffickers in migrants and drugs ignore them.The EU argues that the Balka …

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

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

Обкладинка Enakshi Ganguly Thukral: Every Right for Every Child

Enakshi Ganguly Thukral: Every Right for Every Child

Despite some acknowledgement over the years of the significance of seeing children as rights holders, children’s concerns continue to run the risk of not being considered political and mainstream: th …

Обкладинка Chandan Sinha: Kindling of an Insurrection

Chandan Sinha: Kindling of an Insurrection

The tribal areas of central and eastern India have been under the intractable shadow of left-wing extremism in recent years, fuelling a serious internal crisis in the country. While the clashes betwe …

Обкладинка Thomas M. Forster: The East German Army

Thomas M. Forster: The East German Army

This book, first published in 1980, provides a detailed analysis of the East German army in the last decade of the Cold War. It examines the capabilities of the main force, after the Soviet army, in …

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