
An Introduction to Practical Formal Methods Using Temporal Logic, (Hardcover)
Key item features
- An Introduction to Practical Formal Methods Using Temporal Logic, (Hardcover)
- Author: Wiley
- ISBN: 9780470027882
- Format: Hardcover
- Publication Date: 2011-06-15
- Page Count: 360
Specs
- Book formatHardcover
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateJune, 2011
- Pages360
- SubgenreLogic Design
- Free shipping
Free 30-day returns
How do you want your item?
About this item
Product details
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.
- An Introduction to Practical Formal Methods Using Temporal Logic, (Hardcover)
- Author: Wiley
- ISBN: 9780470027882
- Format: Hardcover
- Publication Date: 2011-06-15
- Page Count: 360
Specifications
Book format
Fiction/nonfiction
Genre
Publication date
Warranty
Warranty information
Similar items you might like
Based on what customers bought
Nutrition: An Applied Approach, (Hardcover) $125.47
$12547current price $125.47Nutrition: An Applied Approach, (Hardcover)
Introduction to Computer Security, (Hardcover) $47.37 Was $58.89
$4737current price $47.37, Was $58.89$58.89Introduction to Computer Security, (Hardcover)
Handbook of Parenting: Theory and Research for Practice, (Hardcover) $147.82
$14782current price $147.82Handbook of Parenting: Theory and Research for Practice, (Hardcover)
Biomarkers: Techniques, Methods and Applications, (Hardcover) $119.60
$11960current price $119.60Biomarkers: Techniques, Methods and Applications, (Hardcover)
Template Matching Techniques in Computer Vision: Theory and Practice, (Hardcover) $132.72
$13272current price $132.72Template Matching Techniques in Computer Vision: Theory and Practice, (Hardcover)
Fundamentals of Bayesian Epistemology 2: Arguments, Challenges, Alternatives, (Hardcover) $111.02
$11102current price $111.02Fundamentals of Bayesian Epistemology 2: Arguments, Challenges, Alternatives, (Hardcover)
Advances in Agroforestry Valuing Agroforestry Systems: Methods and Applications, Book 2, (Hardcover) $132.91
$13291current price $132.91Advances in Agroforestry Valuing Agroforestry Systems: Methods and Applications, Book 2, (Hardcover)
Skin Bioscience: A Molecular Approach, (Hardcover) $145.32
$14532current price $145.32Skin Bioscience: A Molecular Approach, (Hardcover)
Computational Engineering - Introduction to Numerical Methods, (Hardcover) $172.61
$17261current price $172.61Computational Engineering - Introduction to Numerical Methods, (Hardcover)
A Manual of Style for Contract Drafting, Fifth Edition, (Hardcover) $132.07
$13207current price $132.07A Manual of Style for Contract Drafting, Fifth Edition, (Hardcover)
Applying Evolutionary Archaeology: A Systematic Approach, (Hardcover) $119.72 Was $133.81
$11972current price $119.72, Was $133.81$133.81Applying Evolutionary Archaeology: A Systematic Approach, (Hardcover)
Educational Assessment in the 21st Century: Connecting Theory and Practice, (Hardcover) $134.77
$13477current price $134.77Educational Assessment in the 21st Century: Connecting Theory and Practice, (Hardcover)
Learning in Non-Stationary Environments: Methods and Applications, (Hardcover) $137.39
$13739current price $137.39Learning in Non-Stationary Environments: Methods and Applications, (Hardcover)
Literary Semiotics: A Critical Approach, (Hardcover) $146.93
$14693current price $146.93Literary Semiotics: A Critical Approach, (Hardcover)
Classroom Management: Sound Theory and Effective Practice, (Hardcover) $149.43
$14943current price $149.43Classroom Management: Sound Theory and Effective Practice, (Hardcover)
Multivariate Statistics Made Simple: A Practical Approach, (Hardcover) $159.49
$15949current price $159.49Multivariate Statistics Made Simple: A Practical Approach, (Hardcover)
Methodological Reflections on Practice Oriented Theories, (Hardcover) $135.93
$13593current price $135.93Methodological Reflections on Practice Oriented Theories, (Hardcover)
Applied Logic Foundations of Rational Agency, Book 14, (Hardcover) $134.84
$13484current price $134.84Applied Logic Foundations of Rational Agency, Book 14, (Hardcover)
IFIP Advances in Information and Communi Systems Implementation 2000, (Hardcover) $134.34
$13434current price $134.34IFIP Advances in Information and Communi Systems Implementation 2000, (Hardcover)

