Book Search Results
Practical Formal Methods Using Temporal Logic by Michael Fisher
Find "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.
2Practical Formal Methods Using Temporal Logic
By Michael Fisher and Michael Fisher
“Practical Formal Methods Using Temporal Logic” Metadata:
- Title: ➤ Practical Formal Methods Using Temporal Logic
- Authors: Michael FisherMichael Fisher
- Language: English
- Number of Pages: Median: 350
- Publisher: John Wiley & Sons Inc
- Publish Date: 2008
“Practical Formal Methods Using Temporal Logic” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL10278385M
- Online Computer Library Center (OCLC) ID: 810071430
- Library of Congress Control Number (LCCN): 2010046372
- All ISBNs: 9780470027882 - 0470027886
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Practical Formal Methods Using Temporal Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Practical Formal Methods Using Temporal Logic” online:
Shop for “Practical Formal Methods Using Temporal Logic” on popular online marketplaces.
- Ebay: New and used books.