Santiago Escobar – alle Bücher

Ihre Suche nach "Santiago Escobar" (Bücher) ergab 1 Treffer.

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science - Band 16117

.- Symbolic Computation and Verification Methods in Maude..- Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization..- Implementing a Many-Valued Semantics for Logic Prog…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51* Aktueller Preis: EUR 63,51

Artikel merken

In den Warenkorb

Menge ändern