หนังสือดิจิตอล > สารคดี > ปรัชญา / ศาสนา > ปรัชญา - ทั่วไป > 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

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป EPUB ● ISBN 9783031098277 ● บรรณาธิการ Laura Kovacs & Karl Meinke ● สำนักพิมพ์ Springer International Publishing ● การตีพิมพ์ 2022 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 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

หน้าต่อไป >>>