Program construction : calculating implementations from specifications

Author(s)

• Backhouse, Roland C.

Bibliographic Information

Program construction : calculating implementations from specifications

Roland Backhouse

Wiley, 2003

Details

• NCID: BA63139687
• ISBN:
  • 0470848820
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Chichester
• Pages/Volumes: xii, 340 p.
• Size: 24 cm
• Classification:
  • DC21 : 005.1
• Subject Headings:
  • LCSH : Computer programming