Concurrency verification : introduction to compositional and noncompositional methods

Author(s)

• Roever, W.-P. de

Bibliographic Information

Concurrency verification : introduction to compositional and noncompositional methods

Willem-Paul de Roever ... [et al.]

（Cambridge tracts in theoretical computer science, 54）

Cambridge University Press, 2001

Note

Includes bibliographical references and index

Details

• NCID: BA54487161
• ISBN:
  • 0521806089
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge ; New York
• Pages/Volumes: xxii, 776 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA01121831