An introduction to practical formal methods using temporal logic

著者

• Fisher, Michael

書誌事項

An introduction to practical formal methods using temporal logic

Michael Fisher

Wiley, 2011

• hbk.

注記

Formerly CIP Uk

Includes bibliographical references and index

• NII書誌ID(NCID): BB05755330
• ISBN:
  • 9780470027882
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Hoboken, N.J.
• ページ数/冊数: vi, 353 p.
• 大きさ: 25 cm
• 分類:
  • DC22 : 005.131
• 件名:
  • LCSH : Formal methods (Computer science)
  • LCSH : Logic, Symbolic and mathematical