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

An Introduction to Practical Formal Methods Using Temporal Logic

Fisher, Michael (University of Liverpool, UK)

Price
R 2,171
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 14 - 23

Our customers say:

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

An Introduction to Practical Formal Methods Using Temporal Logic

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 )