Illustration

Biographie et livres de Michael Fisher

Découvrez tout l'univers de l'auteur en livre numérique
Dr Michael Fisher is a Professor of Computer Science at the University of Manchester. He holds a Royal Academy of Engineering Chair in Emerging Technologies and is a fellow of both the British Computer Society and the Institution of Engineering and Technology. He was previously a Professor of Logic and Computation in the Department of Computing & Mathematics at the Manchester Metropolitan University and a Professor of Computer Science at the University of Liverpool. Dr Fisher's research concerns
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : An Introduction to Practical Formal Methods Using Temporal Logic
Ajouter à ma liste d'envies
An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

Wiley

2011-03-16

PDF, ePub

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical...

107,99 €

En savoir plus

Ebooks de Michael Fisher en PDF et EPUB

Aucun livre trouvé avec ces critères.