An introduction to practical formal methods using temporal logic

Author(s)

• Fisher, Michael

Bibliographic Information

An introduction to practical formal methods using temporal logic

Michael Fisher

Wiley, 2011

• hbk.

Note

Formerly CIP Uk

Includes bibliographical references and index

Details

• NCID: BB05755330
• ISBN:
  • 9780470027882
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Hoboken, N.J.
• Pages/Volumes: vi, 353 p.
• Size: 25 cm
• Classification:
  • DC22 : 005.131
• Subject Headings:
  • LCSH : Formal methods (Computer science)
  • LCSH : Logic, Symbolic and mathematical