Pastāsti draugiem par šo preci:
An Introduction to Practical Formal Methods Using Temporal Logic Fisher, Michael (University of Liverpool, UK)
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Fisher, Michael (University of Liverpool, UK) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
An Introduction to Practical Formal Methods Using Temporal Logic
Fisher, Michael (University of Liverpool, UK)
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2011. gada 18. aprīlis |
| ISBN13 | 9780470027882 |
| Izdevēji | John Wiley & Sons Inc |
| Lapas | 360 |
| Izmēri | 174 × 250 × 24 mm · 788 g |
Vairāk no tā paša izdevēja
Skatīt visus Fisher, Michael (University of Liverpool, UK) ( piem., Hardcover Book )