An edition of Introduction to Practical Formal Methods Using Temporal Logic
(2011)
Introduction to Practical Formal Methods Using Temporal Logic
by Michael Fisher
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Logic, symbolic and mathematical| Edition | Availability |
|---|---|
1
Introduction to Practical Formal Methods Using Temporal Logic
2012, Wiley & Sons, Incorporated, John
in English
1283405342 9781283405348
|
aaaa
|
|
2
Introduction to Practical Formal Methods Using Temporal Logic
2011, Wiley & Sons, Incorporated, John
in English
1119991463 9781119991465
|
zzzz
|
|
3
Introduction to Practical Formal Methods Using Temporal Logic
2011, Wiley & Sons, Incorporated, John
in English
111999148X 9781119991489
|
zzzz
|
|
4
Introduction to Practical Formal Methods Using Temporal Logic
2011, Wiley & Sons, Limited, John
in English
1119991471 9781119991472
|
zzzz
|
|
5
Introduction to Practical Formal Methods Using Temporal Logic
2011, Wiley & Sons, Incorporated, John
in English
1119955084 9781119955085
|
zzzz
|
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created October 17, 2022
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 17, 2022 | Created by ImportBot | Imported from Better World Books record |