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

Logic Based Program Synthesis and Transformation: 13th International Symposium L

Ø 0.0

0 Bewertungen

67,03 €

Invited Talk. - Specification and Synthesis. - Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. - Correct OO Systems in Computational Logic. - Specification and Synthesis of Hybrid Automata for Physics-Based Animation.

Jetzt bei Ebay:

ISBN-13:

9783540221746
Book Title:

Logic Based Program Synthesis and Transformation
ISBN:

9783540221746

None:

International Standard : tracked-no signature (7 to 15 business days) 29,50 EUR - Lieferung zwischen 07. July 2025 und 16. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Russische Föderation , ... und weitere