Catalog > Non-ficțiune > Filozofie / Religie > Filosofie - general > 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

Ajutor

Copertina de 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

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format EPUB ● ISBN 9783031098277 ● Editor Laura Kovacs & Karl Meinke ● Editura Springer International Publishing ● Publicat 2022 ● Descărcabil 3 ori ● Valută EUR ● ID 8451826 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Laura Kovacs Karl Meinke

49.122 Ebooks din această categorie

Copertina de 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 …

Copertina de 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 …

Copertina de 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 ” …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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. …

Copertina de 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 …

Copertina de Carol Collier: Recovering the Body

Carol Collier: Recovering the Body

Pagina următoare >>>