Book Search Results
Introduction To Practical Formal Methods Using Temporal Logic by Michael Fisher
Find "Introduction To Practical Formal Methods Using Temporal Logic" by Michael Fisher through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Introduction to Practical Formal Methods Using Temporal Logic
By Michael Fisher
“Introduction to Practical Formal Methods Using Temporal Logic” Metadata:
- Title: ➤ Introduction to Practical Formal Methods Using Temporal Logic
- Author: Michael Fisher
- Language: English
- Number of Pages: Median: 368
- Publisher: ➤ Wiley & Sons, Limited, John - Wiley & Sons, Incorporated, John
- Publish Date: 2011 - 2012
“Introduction to Practical Formal Methods Using Temporal Logic” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL39899042M - OL29074987M - OL29079080M - OL33417422M - OL29079886M
- All ISBNs: ➤ 9781119991489 - 1119955084 - 9781119991465 - 1283405342 - 1119991463 - 1119991471 - 111999148X - 9781119991472 - 9781119955085 - 9781283405348
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Introduction to Practical Formal Methods Using Temporal Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Introduction To Practical Formal Methods Using Temporal Logic” online:
Shop for “Introduction To Practical Formal Methods Using Temporal Logic” on popular online marketplaces.
- Ebay: New and used books.