Josiah Dodds

2 books

A Child Psychotherapy Primer: Suggestions for the Beginning Therapist by Josiah Dodds

A Child Psychotherapy Primer: Suggestions for the Beginning Therapist

Josiah Dodds

missing page info • missing pub info (editions)

medium-paced
Program Logics for Certified Compilers by Xaiser Leroy, Robert Dockins, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Lennart Beringer, Gordon Stewart, Andrew W. Appel, Sandrine Blazy

Program Logics for Certified Compilers

Xaiser Leroy, Robert Dockins, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Lennart Beringer, Gordon Stewart, Andrew W. Appel, Sandrine Blazy

472 pages • first pub 2014 (editions)

education challenging informative medium-paced
More...