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

Logic-Based Program Synthesis and Transformation: 29th International Symposium,

Ø 0.0

0 Bewertungen

68,59 €

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:

Zum Angebot *

ISBN-13:

9783030452599
Book Title:

Logic-Based Program Synthesis and Transformation
ISBN:

9783030452599

None:

International Standard : tracked-no signature (7 to 15 business days) 21,08 EUR - Lieferung zwischen 20. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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

Logic-Based Program Synthesis and Transformation: 29th International Symposium,

Logic-Based Program Synthesis and Transformation: 28th International Symposium,

Logic Based Program Synthesis and Transformation: 10th International Workshop, L

Logic-Based Program Synthesis and Transformation: 21st International Symposium,

Logic-Based Program Synthesis and Transformation: 22nd International Symposium,

Logic-Based Program Synthesis and Transformation: 27th International Symposium,

Logic-Based Program Synthesis and Transformation: 20th International Symposium,

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

Logic-Based Program Synthesis and Transformation: 20th International...

Logic Based Program Synthesis and Transformation: 14th International Symposium,

Logic-Based Program Synthesis and Transformation: 18th International Symposium,

Logic-Based Program Synthesis and Transformation: 17th International Symposium,

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR '

Logic Based Program Synthesis and Transformation: 11th International Workshop, L

Logic Based Program Synthesis and Transformation: 10th International...

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LO

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LO

Logic-Based Program Synthesis and Transformation: 8th International Workshop,...

Logic-Based Program Synthesis and Transformation: 30th International Symposium,

Logic-Based Program Synthesis and Transformation: 24th International Symposium,

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, Internatio

Logic-Based Program Synthesis and Transformation: 29th International Symposium,

Ähnliche Artikel

Logic-Based Program Synthesis and Transformation: 28th International Symposium,

Logic Based Program Synthesis and Transformation: 10th International Workshop, L

Logic-Based Program Synthesis and Transformation: 21st International Symposium,

Logic-Based Program Synthesis and Transformation: 22nd International Symposium,

Logic-Based Program Synthesis and Transformation: 27th International Symposium,

Logic-Based Program Synthesis and Transformation: 20th International Symposium,

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

Logic-Based Program Synthesis and Transformation: 20th International...

Logic Based Program Synthesis and Transformation: 14th International Symposium,

Logic-Based Program Synthesis and Transformation: 18th International Symposium,

Logic-Based Program Synthesis and Transformation: 17th International Symposium,

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR '

Logic Based Program Synthesis and Transformation: 11th International Workshop, L

Logic Based Program Synthesis and Transformation: 10th International...

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LO

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LO

Logic-Based Program Synthesis and Transformation: 8th International Workshop,...

Logic-Based Program Synthesis and Transformation: 30th International Symposium,

Logic-Based Program Synthesis and Transformation: 24th International Symposium,

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, Internatio

Cookie Hinweis