Time and probability in formal design of distributed systems

Author(s)

• Hansson, Hans
• Fredlund, Lars-åke

Bibliographic Information

Time and probability in formal design of distributed systems

Hans A. Hansson ; with contributions by Lars-åke Fredlund

（Real-time safety critical systems, 1）

Elsevier, 1994

Note

Includes bibliographical references and index

Details

• NCID: BA23536579
• ISBN:
  • 0444899405
• LCCN: 94029186
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York
• Pages/Volumes: xxv, 304 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.D5
  • DC20 : 005.2
• Subject Headings:
  • LCSH : Electronic data processing -- Distributed processing
  • LCSH : System design
  • LCSH : Real-time data processing
• Parent Bibliography ID:
  • BA23536874