Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows:Synthesis and Transformation;Decision Procedures;Deployment;Specification, Refactoring and Testing; and Term and Graph Rewriting.

N� de r�f. du vendeur 9783031712937

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9�10, 2024, Proceedings
�diteur: Springer Nature Switzerland
Date de parution: 2024
Langue: anglais
ISBN � 10 chiffres: 3031712935
ISBN � 13 chiffres: 9783031712937
Reliure: Taschenbuch
�tat de l'article: Neu

A propos de ce titre

Synopsis

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024.

The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Conditions g�n�rales et informations client

I. Conditions g�n�rales

� 1 Dispositions de base

(1) Les conditions g�n�rales suivantes s?appliquent � tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l?inclusion de l?une de vos propres conditions g�n�rales que vous utilisez sera contest�e

(2) Un consommateur au sens des r�glements suivants est toute personne physique qui conclut une transact...

Pour plus d'information

Conditions d'exp�dition

Nous exp�dions votre commande apr�s les avoir re�ues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas o� nous devons commander un article aupr�s de notre fournisseur, notre d�lai d’exp�dition d�pend de la date de r�ception des articles, mais les articles seront exp�di�s le jour m�me.

Notre objectif est d’envoyer les articles command�s de la mani�re la plus rapide, mais aussi la plus efficace et la plus s�curis�e � nos clients.

Informations vendeur d�taill�es