Page 11
Page 11
img

A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.

img

A Philosophical Examination of Social Justice and Child Poverty

Investigates child poverty from a philosophical perspective. It identifies the injustices of child poverty, relates them to the well-being of children, and discusses who has a moral responsibility to secure social justice for children.

img

A Life (Un)Worthy of Living: Reproductive Genetics in Israel and Germany

This book presents the findings of a study into the social shaping of reproductive genetics in Germany and Israel, two exceptionally interesting social settings, which share a traumatic history. ‘This is a unique and courageous book. Yael Hashiloni-Dolev studied the field of reproductive genetics in Israel and Germany, and found out that while in Germany social, cultural, legal and religious conditions restrict the selection of embryos based on prenatal diagnosis, it is strongly encouraged in Israel. This unexpected finding is brilliantly analyzed by the author. Thus this excellent book must be read and discussed by social scientists, human geneticists, genetic counsellors, bio ethicists and medical students.'

Results Per Page