Specification case studies in RAISE

Author(s)

• Dang Van, Hung

Bibliographic Information

Specification case studies in RAISE

Hung Dang Van...[et al.] (Eds.)

（Formal approaches to computing and information technology (FACIT)）

Springer, 2002

Note

Includes bibliographical references (p.397-405)

Details

• NCID: BA56574700
• ISBN:
  • 1852333596
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: xv, 405 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA2187111X