Електронна книга > Научная литература > Философия / Религия > Философия - Общее > Laura Kovacs & Karl Meinke: Tests and Proofs (ePUB)

Laura Kovacs & Karl Meinke
Tests and Proofs [EPUB ebook]
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

поддержка

Обложка Laura Kovacs & Karl Meinke: Tests and Proofs (ePUB)

This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.

€57.99

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат EPUB ● ISBN 9783031098277 ● редактор Laura Kovacs & Karl Meinke ● издатель Springer International Publishing ● опубликованный 2022 ● Загружаемые 3 раз ● валюта EUR ● Код товара 8451826 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Laura Kovacs Karl Meinke

49 122 Электронные книги в этой категории

Обложка Stuart Barnett: Hegel After Derrida

Stuart Barnett: Hegel After Derrida

Hegel After Derrida provides a much needed insight not only into the importance of Hegel and the importance of Derrida»s work on Hegel, but also the very foundations of postmodern and deconstruction …

Обложка Tiantian Zheng: Sex Trafficking, Human Rights, and Social Justice

Tiantian Zheng: Sex Trafficking, Human Rights, and Social Justice

The recognition of women’s human rights to migrate and work as sex workers is disregarded and dismissed by anti-trafficking discourses of rescue in the latest United Nation’s definition of traffickin …

Обложка Francesca (New York University, USA) Ferrando: Philosophical Posthumanism

Francesca (New York University, USA) Ferrando: Philosophical Posthumanism

The notion of »the human» is in need of urgent redefinition. At a time of radical bio-technological developments, and in light of the political and environmental imperatives of our age, the term » …

Обложка Dr Saloua Chatti & Dr Wilfrid Hodges: Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics

Dr Saloua Chatti & Dr Wilfrid Hodges: Al-Farabi, Syllogism: An Abridgement of Aristotle’s Prior Analytics

The philosopher Abu Nasr al-Farabi (c. 870-c. 950 CE) is a key Arabic intermediary figure. He knew Aristotle, and in particular Aristotle»s logic, through Greek Neoplatonist interpretations translat …

Обложка 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 …

Обложка Peter Suber: The Case of the Speluncean Explorers

Peter Suber: The Case of the Speluncean Explorers

The Case of Speluncean Explorers: Nine New Opinions includes a reprint of Lon Fuller»s classic article and a much-needed revision of and addition to the five opening s originally expressed in the ca …

Обложка 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 …

Обложка Graham Bird: James-Arg Philosophers

Graham Bird: James-Arg Philosophers

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection. …

Обложка Tina Chanter: Art, Politics and Rancière

Tina Chanter: Art, Politics and Rancière

Even those who take themselves to be breaking from tradition-from the metaphysical tradition of philosophy, from grand narratives, neoliberalism or Eurocentrism-can remain blindly attached to them. A …

Обложка Carol Collier: Recovering the Body

Carol Collier: Recovering the Body

Следущая страница >>>