E-bok > Facklitteratur > Filosofi / religion > Filosofi - allmänt > 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

Stöd

Omslag till 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

Köp den här e-boken och få 1 till GRATIS!

Språk Engelska ● Formatera EPUB ● ISBN 9783031098277 ● Redaktör Laura Kovacs & Karl Meinke ● Utgivare Springer International Publishing ● Publicerad 2022 ● Nedladdningsbara 3 gånger ● Valuta EUR ● ID 8451826 ● Kopieringsskydd Adobe DRM

Kräver en DRM-kapabel e-läsare

Fler e-böcker från samma författare (r) / Redaktör

Laura Kovacs Karl Meinke

49 122 E-böcker i denna kategori

Omslag till 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 …

Omslag till 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 …

Omslag till 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 ” …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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 …

Omslag till 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. …

Omslag till 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 …

Omslag till Carol Collier: Recovering the Body

Carol Collier: Recovering the Body

Nästa sida >>>