Theory and Formal Methods of Computing: Proceedings of the Second Imperial College Workshop, Cambridge, September 1994

Theory and Formal Methods of Computing: Proceedings of the Second Imperial College Workshop, Cambridge, September 1994

By: I. Mackie (editor), R. Nagarajan (editor), Chris Hankin (volume_editor), etc. (volume_editor)Hardback

Up to 2 WeeksUsually despatched within 2 weeks

Description

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers here range from the purely theoretical to practical applications.

Product Details

  • ISBN13: 9781860940033
  • Format: Hardback
  • Number Of Pages: 444
  • ID: 9781860940033
  • ISBN10: 186094003X

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