Practical Formal Methods Using Temporal LogicMichael Fisher

Practical Formal Methods Using Temporal Logic

Michael Fisher, Michael Fisher · 2008

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2008
שפה: English
הוצאה: John Wiley & Sons Inc
מהדורות: 1
עמודים: 350
ISBN: 9780470027882

מקור הנתונים: Wikidata

עוד של Michael Fisher

Visions of Mughal IndiaMichael Fisher

Visions of Mughal India

Michael Fisher · 2007

The Nightmare ManMichael Fisher

The Nightmare Man

Michael Fisher · 1996

Cries from the DarknessMichael Fisher

Cries from the Darkness

Michael Fisher · 1996

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993Michael Fisher

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993

Michael Fisher · 1995

For the Time BeingMichael Fisher

For the Time Being

Michael Fisher · 1993

A Short History of the Mughal EmpireMichael Fisher

A Short History of the Mughal Empire

Michael Fisher · 2014

A Short History Of The Mughal EmpireMichael Fisher

A Short History Of The Mughal Empire

Michael Fisher · 2014

Computational Logic In Multiagent Systems 13th International Workshop ProceedingsMichael Fisher

Computational Logic In Multiagent Systems 13th International Workshop Proceedings

Michael Fisher · 2012

Pugin-landMichael Fisher

Michael Fisher · 2002

Alton TowersMichael Fisher

Michael Fisher · 1999