An Introduction to Practical Formal Methods Using Temporal Logic - Fisher, Michael (University of Liverpool, UK) - Books - John Wiley & Sons Inc - 9780470027882 - April 18, 2011
In case cover and title do not match, the title is correct

Fisher, Michael (University of Liverpool, UK)
An Introduction to Practical Formal Methods Using Temporal Logic

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 further.

360 pages, Illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 18, 2011
ISBN13 9780470027882
Publishers John Wiley & Sons Inc
Pages 360
Dimensions 174 × 250 × 24 mm   ·   788 g

See all of Fisher, Michael (University of Liverpool, UK) ( e.g. Hardcover Book )