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

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

Ø 0.0

0 Bewertungen

68,59 €

Verification and Analysis. - Theory and Security. - Unwinding Conditions for Security in Imperative Languages. - Negation Elimination for Finite PCFGs. - Specialization of Concurrent Guarded Multi-set Transformation Rules.

Jetzt bei Ebay:

ISBN-13:

9783540266556
Book Title:

Logic Based Program Synthesis and Transformation
ISBN:

9783540266556

None:

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

Weltweit
Versand ausgeschlossen:

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