Modeling in event-b : system and software engineering

Author(s)

• Abrial, Jean-Raymond

Bibliographic Information

Modeling in event-b : system and software engineering

Jean-Raymond Abrial

Cambridge University Press, 2010

Note

Includes bibliographical references and index

Details

• NCID: BB0221366X
• ISBN:
  • 9780521895569
• LCCN: 2010001382
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xxvi, 586 p.
• Size: 26 cm
• Classification:
  • LCC : QA76.9.F67
  • DC22 : 004.01/51
• Subject Headings:
  • LCSH : Formal methods (Computer science)
  • LCSH : B method (Computer science)
  • LCSH : Computer science -- Mathematical models
  • LCSH : Computer systems -- Verification