Détails
Marque
Collection
n.c
Parution
2016-01-28
Pages
608 pages
EAN papier
9780191002885
Langue
Anglais
Informations ebook
EAN EPUB
9780191002885
Prix
15,22 €
En savoir plus
Nb pages copiables 0
Nb pages imprimables 0
Taille du fichier 4301 Ko
Compatibilité

mobile-and-tablet Pour vérifier la compatibilité avec vos appareils,
consultez la page d'aide

Andrew Butterfield holds an honours degree in Engineering and a PhD in Computer Science and is currently Head of the Foundation and Methods Group at Trinity College Dublin, as well as Director of Undergraduate Teaching and Learning in the School of Computer Science and Statistics. His research interests include the formal aspects of computing and pure lazy functional programming languages, and he has published in various specialist journals (Formal Aspects of Computing, Science of Programming), has edited a number of conference proceedings (Implementing Functional Languages, Unifying Theories of Programming) and has been guest editor for an issue of Formal Methods in System Design. Gerard Ekembe Ngondi holds a Bachelor of Engineering degree in Telecommunications obtained at the National Advanced School of Post and Telecommunications (Yaounde, Cameroon) and an MSc in Computing obtained at the University of York (UK). He is currently doing a PhD in Computer Science at the University of York. His research work is on formal reasoning about the concept of 'mobility' in the UTP (Unifying Theories of Programming) framework.
Avis clients

Suggestions personnalisées

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés