An Introduction to Practical Formal Methods Using Temporal Logic
Michael (University of Liverpool, UK) Fisher
John Wiley & Sons Inc, 2011
140,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780470027882
- ISBN-10
- 0470027886
- Publisher
- John Wiley & Sons Inc
- Year
- 2011
- Publication date
- 2011-04-18
- Pages
- 360
- Dimensions
- 250x174x24
- Weight
- 788