Introduction to Practical Formal Methods Using Temporal LogicMichael Fisher
Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher · 2011
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2011
- Language
- English
- Publisher
- Wiley & Sons, Limited, John
- Editions
- 5
- Pages
- 368
- ISBN
- 9781119991472
Data source: Wikidata
More by Michael Fisher
Computational Logic in Multi-Agent SystemsMichael Fisher
Computational Logic in Multi-Agent Systems
Michael Fisher · 2012
Computational Logic in Multi-Agent SystemsMichael Fisher
Computational Logic in Multi-Agent Systems
Michael Fisher · 2009
Logics in artificial intelligenceMichael Fisher
Logics in artificial intelligence
Michael Fisher · 2006
Fart or a BirdsongMichael Fisher
Fart or a Birdsong
Michael Fisher · 2024
Town and the FuryMichael Fisher
Town and the Fury
Michael Fisher · 2024
To Kill or Not to KillMichael Fisher
To Kill or Not to Kill
Michael Fisher · 2023
Strange - Jelly Wobblers MysteryMichael Fisher
Strange - Jelly Wobblers Mystery
Michael Fisher · 2020
Short History of the Mughal EmpireMichael Fisher
Short History of the Mughal Empire
Michael Fisher · 2019
Out of the NoiseMichael Fisher
Out of the Noise
Michael Fisher · 2019
Lilies and DaisiesMichael Fisher
Lilies and Daisies
Michael Fisher · 2018