Introduction to Practical Formal Methods Using Temporal LogicMichael Fisher
Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher · 2011
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2011
- שפה
- English
- הוצאה
- Wiley & Sons, Limited, John
- מהדורות
- 5
- עמודים
- 368
- ISBN
- 9781119991472
מקור הנתונים: Wikidata
עוד של 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