Push Comes to Shove by Wesley Brown
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.
Wesley Brown is an acclaimed novelist, playwright, and teacher. He worked with the Mississippi Freedom Democratic Party in 1965 and became a member of the Black Panther Party in 1968. In 1972, he was sentenced to three years in prison for refusing induction into the armed services and spent 18 months in Lewisburg Federal Penitentiary. For 27 years, Brown was a much-revered Professor at Rutgers University, where he inspired hundreds of students, including novelist Junot Diaz. He currently teaches literature at Bard College at Simon's Rock.
| SKU | Unavailable |
| ISBN 13 | 9780981782416 |
| ISBN 10 | 0981782418 |
| Title | Push Comes to Shove |
| Author | Wesley Brown |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Concord Free Press |
| Number of pages | 246 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |