Relations and Kleene Algebra in Computer Science, Fachbücher von Rudolf Berghammer, Bernhard Möller, Ali Jaoua
53,49 €
Das Buch "Relations and Kleene Algebra in Computer Science" bietet eine umfassende Sammlung von Forschungsergebnissen, die aus den gemeinsamen Tagungen der 11. Internationalen Konferenz zu Relationalen Methoden in der Informatik und der 6. Internationalen Konferenz zu Anwendungen von Kleene-Algebren hervorgegangen sind. Diese Konferenzen fanden im November 2009 in Doha, Katar, statt. Die 22 überarbeiteten Volltexte, ergänzt durch zwei eingeladene Beiträge, wurden sorgfältig aus einer Vielzahl von Einreichungen ausgewählt und bieten wertvolle Einblicke in die Anwendung von relationalen und algebraischen Formalismen. Der Fokus liegt auf formalen Methoden in der Softwaretechnik, Programmlogik und deren Verbindungen zu angrenzenden Disziplinen. Die behandelten Themen reichen von Relation- und Kleene-Algebren bis hin zu verwandten Formalismen wie Prozessalgebren und dynamischen Logiken, und sie finden Anwendung in Bereichen wie Programmverifikation, Analyse und Entwicklung von Algorithmen sowie in der graphentheoretischen und kombinatorischen Optimierung.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
