Formal methods and object technology

Author(s)

• Goldsack, Stephen J.
• Kent, S. J. H. (Stuart John Harding)

Bibliographic Information

Formal methods and object technology

S.J. Goldsack and S.J.H. Kent, eds.

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

Springer, c1996

Note

Includes bibliographical references (p. [336]-356) and index

• NCID: BA27910280
• ISBN:
  • 3540199772
• LCCN: 96033762
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: xviii, 368 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.64
  • DC20 : 005.1/1
• Subject Headings:
  • LCSH : Object-oriented programming (Computer science)
• Parent Bibliography ID:
  • BA2187111X