Foundations of Software Science and Computation Structures: 24th International C
57,13 €
Constructing a universe for the setoid model. - Nominal Equational Problems. - Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. - "Most of"' leads to undecidability: Failure of adding frequencies to LTL.
Jetzt bei Ebay:
