von
Preis unbekannt
José Luiz Fiadeiro
automated theorem proving calculi calculus cellular automata formal method formal methods formal testing graph transformation logic modal logic modeling process algebra semantics system development theorem proving