Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings: 13474 (Lecture Notes in Computer Science) - Softcover

9783031167669: Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings: 13474 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 303116766X ISBN 13: 9783031167669

Verlag: Springer, 2022

Testing for Robotic Systems.- Automated Termination and Complexity Analysis.- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting.- Gonnord Confluence Framework: Proving Confluence with CONFident.- Variant-based Equational Anti-unification.- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs.- Building a Join-Optimizer for Souffl�e.- From Infinity to Choreographies: Extraction for Unbounded Systems.- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming.- On Correctness of Normal Logic Programs.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2022
Sprache: Englisch
ISBN 10: 303116766X
ISBN 13: 9783031167669
Einband: Tapa blanda
Auflage: 1
Anzahl der Seiten: 172
Herausgeber: Villanueva Alicia
Kontakt zum Hersteller: Nicht verf�gbar

Neu kaufen

Diesen Artikel anzeigen

EUR 52,76

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Suchergebnisse f�r Logic-Based Program Synthesis and Transformation: 32nd...

Foto des Verk�ufers

Logic-Based Program Synthesis and Transformation

Verlag: Springer, Berlin|Springer International Publishing|Springer, 2022

ISBN 10: 303116766X ISBN 13: 9783031167669

Neu Kartoniert / Broschiert

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and . Bestandsnummer des Verk�ufers 690281443

Verk�ufer kontaktieren

Neu kaufen

EUR 52,76

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21�23, 2022, Proceedings

Alicia Villanueva

Verlag: Springer International Publishing, 2022

ISBN 10: 303116766X ISBN 13: 9783031167669

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Bestandsnummer des Verk�ufers 9783031167669

Verk�ufer kontaktieren

Neu kaufen

EUR 58,84

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Logic-Based Program Synthesis and Transformation

Alicia Villanueva

Verlag: Springer International Publishing, Springer International Publishing Sep 2022, 2022

ISBN 10: 303116766X ISBN 13: 9783031167669

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch. Bestandsnummer des Verk�ufers 9783031167669

Verk�ufer kontaktieren

Neu kaufen

EUR 58,84

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Logic-Based Program Synthesis and Transformation

Alicia Villanueva

Verlag: Springer International Publishing Sep 2022, 2022

ISBN 10: 303116766X ISBN 13: 9783031167669

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. 172 pp. Englisch. Bestandsnummer des Verk�ufers 9783031167669

Verk�ufer kontaktieren