Faites connaître cet article à vos amis:
An Introduction to Practical Formal Methods Using Temporal Logic Fisher, Michael (University of Liverpool, UK)
Avez-vous un profil ? Connectez-vous
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
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
| Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 18 avril 2011 |
| ISBN13 | 9780470027882 |
| Éditeurs | John Wiley & Sons Inc |
| Pages | 360 |
| Dimensions | 174 × 250 × 24 mm · 788 g |
Voir tous les Fisher, Michael (University of Liverpool, UK) ( par ex. Hardcover Book )