Verwandte Artikel zu Logic-Based Program Synthesis and Transformation: 32nd...
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
Inhaltsangabe
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 58,84
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Logic-Based Program Synthesis and Transformation: 32nd...
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation
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. Artikel-Nr. 9783031167669
Anzahl: 2 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21¿23, 2022, Proceedings
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. Artikel-Nr. 9783031167669
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783031167669_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 2123, 2022, Proceedings: 13474 (Lecture Notes in Computer Science, 13474)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 168 pages. 9.25x6.10x0.71 inches. In Stock. Artikel-Nr. x-303116766X
Anzahl: 2 verfügbar