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

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

Ø 0.0

0 Bewertungen

68,21 €

The 17 revised full papers were carefully selected from a total of initially 27 submissions. Refining specifications to logic programs. - Symbolic verification with gap-order constraints. - Specification-based automatic verification of Prolog programs.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540627180
Book Title:

Logic Program Synthesis and Transformation
ISBN:

9783540627180

None:

International Standard : tracked-no signature (7 to 15 business days) 37,80 EUR - Lieferung zwischen 27. June 2025 und 08. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , ... und weitere

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

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

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 Workshop, L

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

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

Logic-Based Program Synthesis and Transformation: 33rd International Symposium,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ähnliche Artikel

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

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 Workshop, L

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

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

Logic-Based Program Synthesis and Transformation: 33rd International Symposium,

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

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

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

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

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

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

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

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

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

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

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

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

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

Cookie Hinweis