Software engineering mathematics : formal methods demystified

Author(s)

• Woodcock, James
• Loomes, Martin

Bibliographic Information

Software engineering mathematics : formal methods demystified

Jim Woodcock, Martin Loomes

Pitman, 1988

Details

• NCID: BA04404286
• ISBN:
  • 0273026739
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: [7], 291 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 005.13/1
• Subject Headings:
  • PRECIS : Computer systems. Programs. Mathematics
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Electronic data processing -- Mathematics