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

Funktionale und logische Programmierung: 16. Internationales Symposium, FLOPS 2022,

Ø 0.0
0 Bewertungen
72,99 €

Improving Type Error Reporting for Type Classes. - Asynchronous Unfold/Fold Transformation for Fixpoint Logic. - Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. - Translation Certification for Smart Contracts.

Jetzt bei Ebay: