Formal object-oriented development

Author(s)

• Lano, K.

Bibliographic Information

Formal object-oriented development

K. Lano

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

Springer, c1995

• : pbk

Note

Bibliography: p. [318]-331

Includes index

Details

• NCID: BA26394357
• ISBN:
  • 3540199780
• LCCN: 95032281
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: 422 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.64
  • DC20 : 005.1/1
• Subject Headings:
  • LCSH : Object-oriented programming (Computer science)
• Parent Bibliography ID:
  • BA2187111X