L'édition de cet ISBN n'est malheureusement plus disponible.
This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: each of six papers very accessibly presents an exciting contribution to the study and uses of algebra, diagrams, and decisions, ranging from indipensable overview papers about shared formal members to inspiring applications of formal tools to specific problems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Kees Vermeulen is a researcher at the National Research Center for Mathematics and Computer Science in Amsterdam. Ann Copestake is a lecturer in the University of Cambridge Computer Laboratory.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande