Skip to main content
PBS logo
 
 

Search - Practical Formal Methods using Temporal Logic

Practical Formal Methods using Temporal Logic
Practical Formal Methods using Temporal Logic
Author: Michael Fisher
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress furthe...  more »
ISBN-13: 9780470027882
ISBN-10: 0470027886
Publication Date: 8/16/2010
Pages: 344
Rating:
  ?
0 stars, based on 0 rating
Publisher: Wiley
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.