Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Software Design, Testing & Engineering

An Introduction to Practical Formal Methods Using Temporal Logic


Super Savings Item! Save 32% on the An Introduction to Practical Formal Methods Using Temporal Logic by Wiley at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. The name ''temporal logic'' may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a


Product Description

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.

Additional Information

Manufacturer:Wiley
Publisher:Wiley
Studio:Wiley
EAN:9780470027882
Item Weight:1.75 pounds
Item Size:0.95 x 9.9 x 9.9 inches
Package Weight:1.7 pounds
Package Size:6.8 x 0.9 x 0.9 inches

An Introduction to Practical Formal Methods Using Temporal Logic by Wiley

Buy Now:
An Introduction to Practical Formal Methods Using Temporal Logic

Brand: Wiley
4.1 out of 5 stars with 41 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$145.00
$99.29
You Save: 32%


Quantity:  

 


 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Wiley, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


mpn: illustrations, ean: 9780136291558, isbn: 0136291554,

ean: 9783319564777, isbn: 3319564773,
The book provides a comprehensive introduction and a novel mathematical foundation of the field of information geometry with complete proofs and detailed background material on measure theory, Riemannian geometry and Banach space theory.  Parametris...

mpn: black & white illustrations, colour illu, ean: 9780133250121, isbn: 0133250121,
¿ The fourth edition of Java Software Structures embraces the enhancements of the latest version of Java, where all structures and collections are based on generics. The framework of the text walks the reader through three main areas: conceptualiz...

ean: 9780521608572, isbn: 0521608570,
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction o...

ean: 9781284109955, isbn: 128410995X,
Automotive technicians must learn how to safely and effectively maintain, diagnose, and repair every system on the automobile. Fundamentals of Automotive Technology provides students with the critical knowledge and essential skills to master these ta...

ean: 9780735605053, isbn: 073940752X,

ean: 9783319331522, isbn: 3319331523,
This book traces the theory and methodology of multivariate statistical analysis and shows how it can be conducted in practice using the LISREL computer program. It presents not only the typical uses of LISREL, such as confirmatory factor analysis an...

mpn: Illustrations (some col.), ean: 9780134638942, isbn: 0134638948,
This text balances theory and practice without excessive technical or mathematical language and has coverage of current topics of interest, such as programmable devices, computer-aided design, and testability, supported by a number of illustrations, ...

mpn: 30 black & white illustrations, 78 colou, ean: 9783319301914, isbn: 3319301918,
This book presents some of the emerging techniques and technologies used to handle Web data management. Authors present novel software architectures and emerging technologies and then validate using experimental data and real world applications. The ...

mpn: Illustrations, ean: 9780131863897, isbn: 0131863894,
With over 30 years of experience in both industrial and university settings, the author covers the most widespread logic design practices while building a solid foundation of theoretical and engineering principles for students to use as they go forwa...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.