Advances in Theory and Formal Methods of Computing: Proceedings of the 3rd Imperial College Workshop, Christchurch, Oxford, April 1996 (Hardback)
  • Advances in Theory and Formal Methods of Computing: Proceedings of the 3rd Imperial College Workshop, Christchurch, Oxford, April 1996 (Hardback)
zoom

Advances in Theory and Formal Methods of Computing: Proceedings of the 3rd Imperial College Workshop, Christchurch, Oxford, April 1996 (Hardback)

(volume editor), (volume editor), (editor), (editor)
£120.00
Hardback 330 Pages / Published: 01/11/1996
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented.

Publisher: Imperial College Press
ISBN: 9781860940316
Number of pages: 330

You may also be interested in...

Artificial Intelligence: The Basics
Added to basket
Reinforcement Learning
Added to basket
Robotics
Added to basket
£13.99
Paperback
AQA A level Computer Science
Added to basket
Machine Learning
Added to basket
£42.50
Paperback
Proofs from THE BOOK
Added to basket
The Singularity Is Near
Added to basket
Theory of Conditional Games
Added to basket
Beyond Software Architecture
Added to basket
Interaction Design
Added to basket
£53.99
Paperback
Computing with Quantum Cats
Added to basket
Introducing Artificial Intelligence
Added to basket
Rocket Surgery Made Easy
Added to basket
Dark Pools
Added to basket
£9.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.