Електронна книга > Нехудожня література > Філософія / Релігія > Філософія - загальне > Virgile Prevosto & Cristina Seceleanu: Tests and Proofs (ePUB)

Virgile Prevosto & Cristina Seceleanu
Tests and Proofs [EPUB ebook]
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Підтримка

Обкладинка Virgile Prevosto & Cristina Seceleanu: Tests and Proofs (ePUB)

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

€57.76

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

Мова Англійська ● Формат EPUB ● ISBN 9783031388286 ● Редактор Virgile Prevosto & Cristina Seceleanu ● Видавець Springer Nature Switzerland ● Опубліковано 2023 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 9107165 ● Захист від копіювання Adobe DRM

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

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

Virgile Prevosto Cristina Seceleanu

48 976 Електронні книги в цій категорі

Обкладинка Emile Zola: Fat and the Thin

Emile Zola: Fat and the Thin

"The Fat and the Thin" is an ancient Realism, social story book written by Emile Zola. "The Fat and the Thin" is a timeless traditional which explores attractive topics such as hu …

Обкладинка Robert Dodaro & George Lawless: Augustine and his Critics

Robert Dodaro & George Lawless: Augustine and his Critics

Augustine of Hippo (AD 354-430) is arguably the most controversial Christian thinker in history. His positions on philosophical and theological concerns have been the subjects of intense scrutiny and …

Обкладинка Clark Strand: Waking the Buddha

Clark Strand: Waking the Buddha

Is there more to Buddhism than sitting in silent meditation? Is modern Buddhism relevant to the problems of daily life? Does it empower individuals to transform their lives? Or has Buddhism become to …

Обкладинка Jan Dejnozka: Bertrand Russell on Modality and Logical Relevance

Jan Dejnozka: Bertrand Russell on Modality and Logical Relevance

First published in 1999, this volume re-examines Bertrand Russell’s views on modal logic and logical relevance, arguing that Russell does in fact accommodate modality and modal logic. The author, Jan …

Обкладинка Jonathan Anomaly: Creating Future People

Jonathan Anomaly: Creating Future People

Creating Future People offers readers a fast-paced primer on how new genetic technologies will enable parents to influence the traits of their children, including their intelligence, moral capacities …

Обкладинка Guy Standing: The Precariat

Guy Standing: The Precariat

This book presents the new Precariat – the rapidly growing number of people facing lives of insecurity, on zero hours contracts, moving in and out of jobs that give little meaning to their lives. The …

Обкладинка Carl (Professor of Politics at Goldsmiths, University of London) Levy & Saul (Goldsmiths, University of London) Newman: The Anarchist Imagination

Carl (Professor of Politics at Goldsmiths, University of London) Levy & Saul (Goldsmiths, University of London) Newman: The Anarchist Imagination

This is a broad ranging introduction to twenty-first-century anarchism which includes a wide array of theoretical approaches as well as a variety of empirical and geographical perspectives. The book …

Обкладинка Professor Hans-Georg (University of Macau, China) Moeller & Dr. Andrew K. (Kennesaw State University, USA) Whitehead: Critique, Subversion, and Chinese Philosophy

Professor Hans-Georg (University of Macau, China) Moeller & Dr. Andrew K. (Kennesaw State University, USA) Whitehead: Critique, Subversion, and Chinese Philosophy

Bringing together a number of case studies, this book shows how from early on Chinese philosophical discourses unfolded through innovation and the subversion of dominant forms of thinking. Narrowing …

Обкладинка Ciano Aydin: Extimate Technology

Ciano Aydin: Extimate Technology

This book investigates how we should form ourselves in a world saturated with technologies that are profoundly intruding in the very fabric of our selfhood.　 New and emerging technologies, such as sm …

Обкладинка CHAPMAN COHEN: Determinism OR Free-Will?

CHAPMAN COHEN: Determinism OR Free-Will?

Chapman Cohen’s "Determinism or Free-Will?" is a concept-provoking analysis of one of the maximum lasting philosophical issues that has captivated philosophers for millennia. Cohen’s painti …

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