Isbn: 9783030138370 - logic-based program synthesis and transformation: 28th international symposium, lopstr 2018, frankfurt/main, germany, september 4-6, 2018, revised ... computer science and general issues) (17 resultados)

Condición: New.

Condición: New. In English.

PF. Condición: New.

Condición: New.

Condición: New. 1st ed. 2019 edition NO-PA16APR2015-KAP.

Paperback. Condición: Brand New. 224 pages. 9.25x6.10x0.47 inches. In Stock.

Taschenbuch. Condición: Sehr gut. Gebraucht - Sehr gut - ungelesen,als Mängelexemplar gekennzeichnet, mit leichten Mängeln an Schnitt oder Umschlag durch Lager- oder Transportschaden -This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.…

Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics:analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.…

Taschenbuch. Condición: Neu. Logic-Based Program Synthesis and Transformation | 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers | Fred Mesnard (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2019 | Springer | EAN 9783030138370 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics:analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis. 224 pp. Englisch. …

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.

Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised. …

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Analysis of term rewriting.- Logic-based distributed/concurrent programming.- Analysis of logic programming.- Program analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 224 pp. Englisch.