Vertel uw vrienden over dit artikel:
An Introduction to Practical Formal Methods Using Temporal Logic Fisher, Michael (University of Liverpool, UK)
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
of
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
| Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 18 april 2011 |
| ISBN13 | 9780470027882 |
| Uitgevers | John Wiley & Sons Inc |
| Pagina's | 360 |
| Afmetingen | 174 × 250 × 24 mm · 788 g |
Bekijk alles van Fisher, Michael (University of Liverpool, UK) ( bijv. Hardcover Book )