Teaching and learning formal methods

Author(s)

• Dean, C. Neville
• Hinchey, Michael G. (Michael Gerard)

Bibliographic Information

Teaching and learning formal methods

edited by C. Neville Dean and Michael G. Hinchey

（Academic Press international series in formal methods）

Academic, c1996

• : pbk

Note

Includes bibliographical references and index

Details

• NCID: BA28741280
• ISBN:
  • 0123490405
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: xvi, 285 p.
• Size: 23 cm
• Classification:
  • DC20 : 004.07
• Subject Headings:
  • LCSH : System design -- Study and teaching
  • LCSH : Computer software -- Development -- Study and teaching
• Parent Bibliography ID:
  • BA2874135X