Publication Date: 2008
ISBN: 978-3-540-78913-0
Internet Resource: Please Login to download book
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, the semantics, analysis and development of programs, formal language theory and combinatorial optimization.
Subject: Computer Science, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Artificial Intelligence, Software Engineering, combinatorial optimization, computer, computer science, formal language, formal method, modeling, optimization