Algebra and Coalgebra in Computer Science
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Till Mossakowski
Themen in »Algebra and Coalgebra in Computer Science«
Bisimulation Computer Maude automata calculi formal methods formal testing graph logic higher order processes logic modeling petri net semantics specification-based verification
Stimmen zu »Algebra and Coalgebra in Computer Science«
Details
ISBN: 9783540738596
Verlag: Springer Berlin
Erscheinung: 22.08.2007