Business Englisch Für Dummies |
|
| Author:
| Fisher, Michael
Blöhdorn, Lars M.
Hodgson-Möckel, Denise |
| Series title: | Für Dummies Ser. |
| ISBN: | 978-3-527-70675-4 |
| Publication Date: | Oct 2011 |
| Publisher: | John Wiley & Sons, Incorporated
|
| Imprint: | Wiley-VCH |
| Book Format: | Paperback |
| List Price: | USD $17.50 |
Book 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.
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.