Reactive systems : modelling, specification and verification

Author(s)

• Aceto, Luca

Bibliographic Information

Reactive systems : modelling, specification and verification

Luca Aceto ... [et al.]

Cambridge University Press, c2007

• : hbk

Note

Includes bibliographical references and index

Details

• NCID: BA83448254
• ISBN:
  • 9780521875462
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xvi, 284 p.
• Size: 26 cm
• Classification:
  • LCC : QA76.76.E95
  • DC22 : 006.330151
  • NDLC : M154
• Subject Headings:
  • LCSH : Expert systems (Computer science) -- Validation
  • LCSH : Expert systems (Computer science) -- Verification
  • LCSH : System design -- Mathematical models