Zu dieser ISBN ist aktuell kein Angebot verfügbar.
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben