Towards verified systems

Author(s)

• Bowen, J. P. (Jonathan Peter)

Bibliographic Information

Towards verified systems

edited by Jonathan Bowen

（Real-time safety critical systems, 2）

Elsevier, 1994

Note

Includes bibliographical references (p. 269-296)

Details

• NCID: BA23925399
• ISBN:
  • 0444899014
• LCCN: 94030630
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York
• Pages/Volumes: xxvi, 296 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.E94
  • DC20 : 004/.33
• Subject Headings:
  • LCSH : Embedded computer systems -- Evaluation
  • LCSH : Real-time data processing
• Parent Bibliography ID:
  • BA23536874