Programsynthesis – alle Bücher und CDs

Ihre Suche nach "Programsynthesis" (Bücher und CDs) ergab 2 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

Incredible Pack

Time For Decisions

Wenn sich drei Rockikonen zusammentun, dessen Vergangenheit sich wie das Who is Who der deutschen Musikszene liest, und die sich dann dem Bluesrock widmen, kann man sich auf eine »Unglaubliche Packung« ei…

lieferbar innerhalb 1-2 Wochen

CD

 

EUR 14,99** Vorheriger Preis EUR 14,99, reduziert um 33%

EUR 9,99* Aktueller Preis: EUR 9,99

-33%

Artikel merken

In den Warenkorb

Menge ändern