Picture 1 of 1
Picture 1 of 1
An Introduction to Practical Formal Methods ISBN 9780470027882
Condition:
3 available
Postage:
May not post to United States. Read item description or contact seller for postage options. See detailsfor delivery
Located in: Klang, Malaysia
Delivery:
Varies
Returns:
Payments:
4 payments of AU $24.75. Learn moreSee terms and apply now for Afterpay - opens in a new window or tab
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:134661477748
Item specifics
- Condition
- ISBN
- 9780470027882
- Publication Year
- 2011
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Publication Name
- An Introduction to Practical Formal Methods Using Temporal Logic
- Item Height
- 252mm
- Publisher
- John Wiley & Sons Inc
- Item Width
- 174mm
- Subject
- Engineering & Technology, Computer Science
- Item Weight
- 790g
- Number of Pages
- 360 Pages
About this product
Product Information
The name temporal logic may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems. Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability. Models temporal notions and uses them to analyze computational systems Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation Introduces and explains freely available tools based on temporal logics and shows how these can be applied Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.
Product Identifiers
Publisher
John Wiley & Sons Inc
ISBN-13
9780470027882
eBay Product ID (ePID)
104852241
Product Key Features
Publication Name
An Introduction to Practical Formal Methods Using Temporal Logic
Format
Hardcover
Language
English
Subject
Engineering & Technology, Computer Science
Publication Year
2011
Type
Textbook
Number of Pages
360 Pages
Dimensions
Item Height
252mm
Item Width
174mm
Item Weight
790g
Additional Product Features
Country/Region of Manufacture
United States
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:134661477748
Postage and handling
The seller has not specified a postage method to United States. Contact the seller and request delivery to your location.
Item location:
Klang, Malaysia
Posts to:
Asia, Australia, New Zealand, United Kingdom
Excludes:
Russian Federation, Ukraine
| Handling time |
|---|
| Will usually post within 2 business days of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Return policy
| Return policy details |
|---|
| The seller won't accept returns for this item. |
Refunds by law: In Australia, consumers have a legal right to obtain a refund from a business if the goods purchased are faulty, not fit for purpose or don't match the seller's description. More information at returnsreturns - opens in a new window or tab.
Payment details
Payment methods
Seller Feedback (826)
2***8 (404)- Feedback left by buyer.
Past month
Verified purchase
I did finally receive my book, but with no help from the seller.
d***d (34)- Feedback left by buyer.
Past month
Verified purchase
Great
a***c (418)- Feedback left by buyer.
More than a year ago
Verified purchase
Arrived quick and in great condition, AAA+ seller, thankyou!
Product ratings and reviews
This is a private listing and your identity will not be disclosed to anyone except the seller.
More to explore:
- School Revision/Practice in English,
- School Revision/Practice in French,
- Non-Fiction Methodism Hardcover Books,
- Non-Fiction Methodism Paperback Fiction & Books,
- Non-Fiction Methodism Fiction & Non-Fiction Books,
- Revision/Practice Paperback School Textbooks & Study Guides,
- Non-Fiction Methodism Fiction & Non-Fiction Books in French,
- Non-Fiction Practical Skills Fiction & Non-Fiction Books,
- Non-Fiction Methodism Fiction & Non-Fiction Books in English,
- Coordination Group Publications Revision/Practice School Textbooks & Study Guides