Formal systems specification : the RPC-Memory specification case study

Author(s)

• Broy, M.
• Merz, Stephan
• Spies, Katharina

Bibliographic Information

Formal systems specification : the RPC-Memory specification case study

Manfred Broy, Stephan Merz, Katharina Spies (eds.)

（Lecture notes in computer science, 1169）

Springer, c1996

Note

Includes bibliographical references

Details

• NCID: BA2898298X
• ISBN:
  • 3540619844
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xxiii, 540 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279