Mural : a formal development support system

Author(s)

• Jones, Cliff B.

Bibliographic Information

Mural : a formal development support system

[edited by] C.B. Jones ... [et al.] ; with contributions from J. Bicarregui ... [et al.]

Springer-Verlag, 1991

• : gw
• : us

Note

Includes bibliographical references (p. [413]-421)

Details

• NCID: BA13461145
• ISBN:
  • 354019651X
  • 038719651X
• LCCN: 90029090
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London ; Tokyo
• Pages/Volumes: xiii, 421 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.76.D47
  • DC20 : 005.1
• Subject Headings:
  • LCSH : Computer software -- Development
  • LCSH : Mural (Computer file)