Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 4.

Book section

Kirton, Derek (2007) The care and protection of children(Chapter 16). In: Baldock, John C. and Manning, Nick and Vickerstaff, Sarah, eds. Social Policy (3rd edition). Oxford University, Oxford, pp. 475-507. ISBN 978-0-19-928497-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:38387)

Monograph

Cooper, David and Stepney, Susan and Woodcock, Jim (2000) Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement. Technical report. Oxford University (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21949)
Stepney, Susan and Cooper, David and Woodcock, Jim (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (KAR id:22009)
[thumbnail of An_Electronic_Purse_Specification,_Refinement_and_Proof.pdf]
Preview

Edited book

Hale, Chris and Hayward, Keith J. and Wahidin, Azrini and Wincup, Emma, eds. (2009) Criminology(2nd Revised edition). Oxford University, Oxford, 680 pp. ISBN 978-0-19-922729-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:38373)
This list was generated on Fri Dec 3 01:49:34 2021 GMT.