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

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

By: G. McCusker (editor), S. Jourdan (editor), A. Edalat (volume_editor), etc. (volume_editor)Hardback

1 - 2 weeks availability

Description

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.

Create a review

Contents

Specifications as spans of geometric morphisms; structured databases - a framework to reason about belief change; a smooth approximation on the edge of chaos.

Product Details

  • publication date: 11/01/1996
  • ISBN13: 9781860940316
  • Format: Hardback
  • Year: 1996
  • Number Of Pages: 330
  • ID: 9781860940316
  • ISBN10: 1860940315

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close