Larch : languages and tools for formal specification

Author(s)

• Guttag, John
• Horning, J. J. (James J.)

Bibliographic Information

Larch : languages and tools for formal specification

John V. Guttag, James J. Horning ; with S.J. Garland ... [et al.]

（Texts and monographs in computer science）

Springer-Verlag, c1993

• : us
• : gw

Note

Includes bibliographical references (p. [230]-238) and index

Details

• NCID: BA19580147
• ISBN:
  • 0387940065
  • 3540940065
• LCCN: 92044571
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xiii, 250 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.6
  • DC20 : 005.1/2
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Computer software -- Development
  • LCSH : Larch (Computer program language)
• Parent Bibliography ID:
  • BA00039349