An introduction to practical formal methods using temporal logic

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

שמור ב:
מידע ביבליוגרפי
:
ProQuest (Firm)
Fisher, Michael, 1962-
TeilnehmendeR:
ProQuest (Firm)
שנת הוצאה לאור:2011
שפה:English
גישה מקוונת:
תיאור פיזי:vii, 353 p. :; ill.
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תיאור
ביבליוגרפיה:Includes bibliographical references and index.
ISBN:9780470027882
9781119991489
Hierarchical level:Monograph
Statement of Responsibility: Michael Fisher.

פריטים דומים