An Introduction to Practical Formal Methods Using Temporal LogicAuthor :
Hardback
Published : Monday 18 April 2011
Description
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.
You may also like ...
by
Hardback
02 Jan 2024
Autobiography: general
€74.88
Extended stock – Dispatch 5-7 days
by
Hardback
08 Jun 2023
Robotics
€81.89
Extended stock – Dispatch 5-7 days
by
Paperback
28 Dec 2022
Education
€43.28
Extended stock – Dispatch 5-7 days
by
Hardback
28 Dec 2022
Education
€146.25
Extended stock – Dispatch 5-7 days
Reviews