Relations and Kleene Algebra in Computer Science, Fachbücher von Rudolf Berghammer, Bernhard Möller, Ali Jaoua
Das Buch "Relations and Kleene Algebra in Computer Science" bietet eine umfassende Sammlung von Forschungsergebnissen, die au... Mehr erfahren
Produktvarianten
Relations and Kleene Algebra in Computer Science, Fachbücher von Rudolf Berghammer, Bernhard Möller, Ali Jaoua
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer