Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dawes, J. The VDM-SL Reference Guide. Pitman, London, 1991
Havel, P. Metamathematics of First Order Arithmetic. Springer-Verlag, New York, 1991
Jones, C.B. Systematic Software Development Using VDM. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1986.
Potter, B. Sinclair, J. and Till, D. An introduction to formal specification and Z. Prentice Hall, Inc. Englewood Cliffs, NJ, 1991.
Smorynski, C. Logical Number Theory I : An Introduction. Springer-Verlag. New York, 1991.
Woodcock, J. and Davies, J. Using Z: Specification, Refinement and Proof, Prentice Hall, Englewood Cliffs, NJ, 1996.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag London
About this chapter
Cite this chapter
Turner, R. (2009). Recursive Schemata. In: Computable Models. Springer, London. https://doi.org/10.1007/978-1-84882-052-4_14
Download citation
DOI: https://doi.org/10.1007/978-1-84882-052-4_14
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-84882-051-7
Online ISBN: 978-1-84882-052-4
eBook Packages: Computer ScienceComputer Science (R0)