Practical Formal Methods Using Temporal LogicMichael Fisher

Practical Formal Methods Using Temporal Logic

Michael Fisher, Michael Fisher · 2008

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2008
Language: English
Publisher: John Wiley & Sons Inc
Editions: 1
Pages: 350
ISBN: 9780470027882

Data source: Wikidata

More by 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