A Dictionary of Computer Science: (Oxford Quick Reference 7th Revised edition)
By
Paperback
In Stock
Quantity
Description
Also available on eBook for £8.99. Click here to purchase from Rakuten Kobo
About the Author
Andrew Butterfield holds an honours degree in Engineering and a PhD in Computer Science and is currently Head of the Foundation and Methods Group at Trinity College Dublin, as well as Director of Undergraduate Teaching and Learning in the School of Computer Science and Statistics. His research interests include the formal aspects of computing and pure lazy functional programming languages, and he has published in various specialist journals (Formal Aspects of Computing, Science of Programming), has edited a number of conference proceedings (Implementing Functional Languages, Unifying Theories of Programming) and has been guest editor for an issue of Formal Methods in System Design. Gerard Ekembe Ngondi holds a Bachelor of Engineering degree in Telecommunications obtained at the National Advanced School of Post and Telecommunications (Yaounde, Cameroon) and an MSc in Computing obtained at the University of York (UK). He is currently doing a PhD in Computer Science at the University of York. His research work is on formal reasoning about the concept of 'mobility' in the UTP (Unifying Theories of Programming) framework.
More Details
- Contributor: Andrew Butterfield
- Imprint: Oxford University Press
- ISBN13: 9780199688975
- Number of Pages: 640
- Packaged Dimensions: 135x196x38mm
- Packaged Weight: 469
- Format: Paperback
- Publisher: Oxford University Press
- Release Date: 2016-01-28
- Series: Oxford Quick Reference
- Binding: Paperback / softback
- Biography: Andrew Butterfield holds an honours degree in Engineering and a PhD in Computer Science and is currently Head of the Foundation and Methods Group at Trinity College Dublin, as well as Director of Undergraduate Teaching and Learning in the School of Computer Science and Statistics. His research interests include the formal aspects of computing and pure lazy functional programming languages, and he has published in various specialist journals (Formal Aspects of Computing, Science of Programming), has edited a number of conference proceedings (Implementing Functional Languages, Unifying Theories of Programming) and has been guest editor for an issue of Formal Methods in System Design. Gerard Ekembe Ngondi holds a Bachelor of Engineering degree in Telecommunications obtained at the National Advanced School of Post and Telecommunications (Yaounde, Cameroon) and an MSc in Computing obtained at the University of York (UK). He is currently doing a PhD in Computer Science at the University of York. His research work is on formal reasoning about the concept of 'mobility' in the UTP (Unifying Theories of Programming) framework.
Delivery Options
Home Delivery
Store Delivery
Free Returns
We hope you are delighted with everything you buy from us. However, if you are not, we will refund or replace your order up to 30 days after purchase. Terms and exclusions apply; find out more from our Returns and Refunds Policy.