Program development by refinement : case studies using the B method

Author(s)

• Sekerinski, E. (Emil)
• Sere, K. (Kaisa)

Bibliographic Information

Program development by refinement : case studies using the B method

E. Sekerinski and K. Sere (eds.)

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

Springer-Verlag, c1999

• : pbk

Note

Includes bibliographical references

Details

• NCID: BA39054158
• ISBN:
  • 1852330538
• LCCN: 98025801
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London
• Pages/Volumes: xxiv, 334 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.73.B155
  • DC21 : 005.13/3
• Subject Headings:
  • LCSH : B (Computer program language)
• Parent Bibliography ID:
  • BA2187111X