Algebraic Informatics
Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Symeon Bozapalidis
Themen in »Algebraic Informatics«
Processing algebra algebraic specification algebraic verification automata calculi context-free grammars deterministic learning formal methods formal testing linear languages modal logic modling process calculi semantics
Stimmen zu »Algebraic Informatics«
Details
ISBN: 9783540754145
Verlag: Springer Berlin
Erscheinung: 06.12.2007