Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Grundlagen der Softwarewissenschaft und Rechenstrukturen: 24th International

Ø 0.0
0 Bewertungen
43,40 €

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: