An introduction to practical formal methods using temporal logic / Michael Fisher.

• Author: ProQuest (Firm); Fisher, Michael, 1962-
• TeilnehmendeR: ProQuest (Firm)
• प्रकाशन का वर्ष : 2011
• भाषा: English
• भौतिक वर्णन: vii, 353 p. :; ill.
• ग्रन्थसूची: Includes bibliographical references and index.
• आईएसबीएन: 9780470027882; 9781119991489
• Hierarchical level: Monograph
• Statement of Responsibility: Michael Fisher.