The B language and method : a guide to practical formal development

Author(s)

• Lano, K.

Bibliographic Information

The B language and method : a guide to practical formal development

K. Lano

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

Springer, c1996

Note

Includes index

Details

• NCID: BA27863806
• ISBN:
  • 3540760334
• LCCN: 96012591
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: 232 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.73.B155
  • DC20 : 005.1/2/015113
• Subject Headings:
  • LCSH : B (Computer program language)
  • LCSH : Computer software -- Development
• Parent Bibliography ID:
  • BA2187111X