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

Logikbasierte Programmsynthese und Transformation: 29th International

Ø 0.0
0 Bewertungen
52,87 €

Reversibilization in Functional and Concurrent Programming. - Horn clauses and tree automata for imperative program verification. - On xpoint/iteration/variant induction principles for proving total correctness of programs with denotational semantics.

Jetzt bei Ebay: